The Universe of Set Theory

Gaisi Takeuti

A chapter in Foundations of Mathematics, 1969, pp 74-128 from Springer

Abstract: Abstract Since Cohen’s discovery of forcing, many problems in set theory have been proved to be independent of ZF-set theory just as in the case of the parallel postulate in plane geometry. In plane geometry, only the independence of the parallel postulate was considered, but in set theory it seems that infinitely many problems can be proved to be mutually independent. The consideration of many set theories might not be of advantage to us because set theory is a basis of mathematics and working mathematicians cannot believe that both “yes” and “no” are equally reasonable answers to their problems in natural numbers, real numbers or Hubert spaces.

Keywords: Free Variable; Ordinal Number; Recursive Function; Closed Formula; Arithmetical Function (search for similar items in EconPapers)
Date: 1969
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-642-86745-3_8

Ordering information: This item can be ordered from
http://www.springer.com/9783642867453

DOI: 10.1007/978-3-642-86745-3_8

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().