Godel

1000	theorem
713	axioms
674	theorems
674	mathematical
650	algebraic
649	conjecture
640	calculus
640	algebra
638	Turing
637	arithmetic

previous:	Godegisel
next:	Godello
random:	Tomosaka

More distant neighbors

logic quantum Hilbert finite rational proofs Theorem equations paradox theory axiom recursive Tarski analytic infinite Euler algorithm proof p polynomial generalized incompleteness predicate logical abstract trivial Riemann geometry variables equation Fermat lemma axiomatic recursion formulas arbitrary notation generalization infinitely

Back