ZFC

999	axiom
686	axioms
669	Zermelo
622	theorem
606	countable
601	theorems
587	finite
565	predicate
563	lemma
562	equivalence

previous:	ZFB
next:	ZFI
random:	Brahmin

More distant neighbors

isomorphism algebraic axiomatic Godel topological infinite ordinals conjecture algebra theoretic polynomial algebras Boolean Banach uncountable polynomials invariant ordinal cardinality Riemann finitely propositional topology projective negation completeness infinitely trivial Hilbert matrices variables provable subsets Euclidean arithmetic paradox determinacy logically proofs

Back