000			01112 a2200205 4500
999			_c52767 _d52767
008			200320b ||||| |||| 00| 0 eng d
020			_a9780521172714
082			_a511.3 _bMAY
100			_aMayberry, John P.
245			_aFoundations of mathematics in the theory of sets, Vol. 82
260			_bCambridge University Press, _c2000. _aCambridge:
300			_axx, 424 p.; _bpb; _c24 cm.
365			_aGBP _b59.99
440			_aEncyclopedia of mathematics and its applications
520			_aThis 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of 'natural number' and 'set'. This leads to an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, as well as in the analysis of proof by induction and definition by recursion.
650			_aSet theory
650			_aArithmetic
650			_aAxioms
942			_2ddc _cTD