axiom

1000axioms
801theorem
742finite
708infinite
706algebra
695lemma
695rational
692equivalence
688countable
686ZFC
        
previous:Axio
next:axioms
random:Romelio


More distant neighbors

theorems arbitrary algebraic logical trivial topology subset variables invariant subsets symmetry generalized topological equations satisfies predicate definitions logic implies theory polynomial formulas equation paradox assumptions quantum logically algorithm conjecture calculus Euclidean proofs matrix geometry assumption isomorphism continuum proof symmetric

Back