One of its central postulates originated in the work of one of its namesakes and Thoralf Skolem, and the solution to Whitehead's problem is independent of it.
One of its central postulates originated in the work of one of its namesakes and Thoralf Skolem, and the solution to Whitehead's problem is independent of it. Easing the requirement of separation, though not that of regularity, leaves it vulnerable to Russel's paradox. Unlike the von Neuman- Bernays-Godel theory, it does not include classes, and the continuum hypothesis cannot be proven or disproven within it. Richard Monatgue proved that it is not finitely axiomatizable, and included in this theory are statements concerning extensionality, the unordered pair, and replacement, which is actually an axiom schema. FTP, identify this set theory containing eight axioms and the optional axiom of choice, named for two Germans.
One of its central postulates originated in the work of one of its namesakes and Thoralf Skolem, and the solution to Whitehead's problem is independent of it.
{Zermelo-Fraenkel} (or {ZFC}) set theory