Gödel's theorems and zermelo's axioms: a firm foundation of mathematics
Auteur :
Halbeisen, Lorenz / Krapf, Regula
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030522810
Date de publication :
17 oct. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic, Presburger arithmetic and the real numbers. The book addresses undergraduate mathematics students and is suitable for a one or two semester introductory course into logic and set theory.