Szudzik

• Axiom of Extensionality
• Axiom of Subsets
• Continuum Hypothesis
• General Recursive Function
• Parallel Postulate
• Primitive Recursive Function
• Recursive Function
• Sentence
• Skolemized Form
• von Neumann-Bernays-Gödel Set Theory
• Zermelo-Fraenkel Axioms