Jump to content

Implementation of mathematics in set theory

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Randall Holmes (talk | contribs) at 01:38, 21 December 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

The aim of this article is to examine the implementation of mathematical concepts in set theory. 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. For details of these two systems, consult their main articles.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Implementation_of_mathematics_in_set_theory&oldid=32180707"