Lowenheim

999	Skolem
588	Thoralf
357	ZFC
345	1915
322	Santschi
294	1919
291	Zermelo
288	theorem
287	Peano
284	axiom

previous:	Lowenfels
next:	Lowenherz
random:	Fleming

More distant neighbors

axioms determinacy 1920 Tarski Godel 1918 theorems 1922 proved 1923 countable Noether Proctorian existence Grelling Liouville cardinalities lemma Poincar axiomatic Fraenkel models flyping undecidability conjecture axiomatization olivieri completeness relativity Camponotus Mahlo Tiomno equations USTCON incompleteness Mordell Riemann

Back