Implementation of mathematics in set theory: Difference between revisions

Revision as of 03:33, 21 December 2005

Revision as of 03:38, 21 December 2005

Line 5:

It is not the primary aim of this article to say anything about the relative merits of these

theories as 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.

== Empty set, singleton, unordered pairs and tuples ==

Line 190 ⟶ 193:

== Finite sets and natural numbers ==

under construction...