Zermelo

1000Fraenkel
631ZFC
622axiom
603axioms
559axiomatic
511theorem
493theorems
491Godel
474axiomatization
466countable
        
previous:Zermatt
next:Zern
random:LEADS


More distant neighbors

lemma determinacy paradox ordinal Tarski infinite Hilbert conjecture Peano finite equations calculus proofs propositional quantum algebraic Euler algebras recursive algebra choice ordinals theoretic Riemann undecidable theory Banach logic uncountable arithmetic rational relativity mathematical Skolem equivalence recursion invariant incompleteness intuitionistic

Back