Revision as of 17:58, 21 December 2005 edit Randall Holmes (talk \| contribs) Extended confirmed users 945 edits →Size of sets ← Previous edit		Revision as of 18:00, 21 December 2005 edit undo Randall Holmes (talk \| contribs) Extended confirmed users 945 edits No edit summary Next edit →
Line 2: The implementation of a number of basic mathematical concepts is carried out in parallel in [[ZFC]] and in [[NFU]], the version of Quine's [[New Foundations]] shown to be consistent by R. B. Jensen in 1969 (here understood to include at least axioms of Infinity and Choice). For details of these two systems, consult their main articles. It is not the primary aim of this article to say anything about the relative merits of these

Implementation of mathematics in set theory: Difference between revisions