KnowraNew FoundationsLinked fromLinked fromThe 6 pages that link to New Foundations, each with the reason it gives.All 6Compared with 6Set theoryCompared with: Its distinct comprehension rule avoids some paradoxes in a way unlike standard Zermelo–Fraenkel axioms.Zermelo–Fraenkel set theoryCompared with: Its alternative restriction on comprehension yields a different approach to set-theoretic paradoxes.Gödel numberingCompared with: Its foundational strategy contrasts with Gödel’s use of arithmetic coding to study formal systems.Axiom of pairingCompared with: Its alternative axiomatic setting illustrates that pairing belongs to a chosen foundation, not every set theory.Von Neumann–Bernays–Gödel set theoryCompared with: NF avoids proper classes through a different approach to unrestricted-looking set formation.Axiom of limitation of sizeCompared with: Its treatment of collections differs from the set–class distinction presupposed here.