Studies in Logic and the Foundations of Mathematics (1963) 33(C) 478-506

- 1Mendeley users who have this article in their library.
- 0Citations of this article.

This chapter discusses a number of interconnections between number theory, that is, the theory of natural numbers or nonnegative integers and certain systems of set theory. Set theory is equivalent to number theory. If infinite sets are allowed but not impredicative sets, then set theory still resembles number theory quite well. The big gap between number theory and set theory proper is the introduction of impredicative sets in set theory. The chapter formulates these connections between number theory and set theory. The chapter reviews the general set theory or Zermelo's set theory minus the axiom of infinity. The system G is the basic system of general set theory including the axiom of extensionality, the Aussonderungs axiom, and an axiom assuring the existence of finite sets. The system Z is the ordinary system of elementary number theory. © 1963, Science Press

Mendeley saves you time finding and organizing research

Sign up here

Already have an account ?Sign in

Choose a citation style from the tabs below