Rotman, Brian (1962) Axiomatic set theory as a basis for the construction of mathematics.
Full text access: Open
It is widely known that one of the major tasks of 'Foundations' is to construct a formal system which can he said to contain the whole of mathematics. For various reasons axiomatic set theory is a very suitable choice for such a system and it is one which has proved acceptable to both logicians and mathematicians. The particular demands of mathematicians and logicians, however, are not the same. As a result there exist at the moment two different formulations of set theory which can be roughly said to cater for logicians and mathematicians respectively. It is these systems which are the subject of this dissertation. The system of set theory constructed for logicians is by P. Bernays. This will be discussed in chapter II. For mathematicians No Bourbaki has constructed a system of set theory within which he has already embedded a large part of mathematics. This system will be discussed in chapter III. Chapter I is historical and contains some of Cantor's original ideas. The relationship between Bernays' system and (essentially) Bourbaki's system is commented upon in chapter IV.
This is a Accepted version This version's date is: 1962 This item is not peer reviewed
https://repository.royalholloway.ac.uk/items/9fd047cb-28a4-42ee-91a1-5d6908f92b01/1/
Deposited by () on 31-Jan-2017 in Royal Holloway Research Online.Last modified on 31-Jan-2017
Digitised in partnership with ProQuest, 2015-2016. Institution: University of London, Bedford College (United Kingdom).