Revision as of 11:01, 4 April 2014 edit Maurice Carbonaro (talk \| contribs) Extended confirmed users 11,590 edits m Hyperlinked "(...) foundations for mathematics (...)" which links to the "Foundations of mathematics" article ← Previous edit		Revision as of 18:45, 4 April 2014 edit undo Arthur Rubin (talk \| contribs) Extended confirmed users, Rollbackers 130,168 edits Reverted good faith edits by Maurice Carbonaro (talk): Plausible, but wrong. (TW) Next edit →
Line 3: What is said here applies also to two families of set theories: on the one hand, a range of theories including [[Zermelo set theory]] near the lower end of the scale and going up to ZFC extended with [[large cardinal property\|large cardinal]] hypotheses such as "there is a [[measurable cardinal]]"; and on the other hand a hierarchy of extensions of NFU which is surveyed in the [[New Foundations]] article. These correspond to different general views of what the set-theoretical universe is like, and it is the approaches to implementation of mathematical concepts under these two general views that are being compared and contrasted. It is not the primary aim of this article to say anything about the relative merits of these theories as ~~[[foundations of mathematics\|~~foundations for mathematics]]. The reason for the use of two different set theories is to illustrate that multiple approaches to the implementation of mathematics are feasible. Precisely because of this approach, this article is not a source of "official" definitions for any mathematical concept. ==Preliminaries==

Implementation of mathematics in set theory: Difference between revisions