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

0Citations

1Readers

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

CITATION STYLE

APA

Chapter XIX: Between number theory and set theory. (1963). *Studies in Logic and the Foundations of Mathematics*, *33*(C), 478–506. https://doi.org/10.1016/S0049-237X(08)71859-7

Mendeley helps you to discover research relevant for your work.

Already have an account? Sign in

Sign up for free