On the consistency of a slight (?) modification of Quine's 'New Foundations' (Q2541215): Difference between revisions

@@ Property / cites work @@
+Models of axiomatic theories admitting automorphisms
+Normal rank
@@ Property / cites work @@
+A partition calculus in set theory
@@ Property / cites work: A partition calculus in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A set of axioms for logic
@@ Property / cites work: A set of axioms for logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of formalized consistency proofs
+Normal rank
@@ Property / cites work @@
+The Axiom of Choice in Quine's New Foundations for Mathematical Logic
+Normal rank