Gödel's theorems and zermelo's axioms: a firm foundation of mathematics
Auteur :
Halbeisen, Lorenz / Krapf, Regula
Éditeur :
Birkhauser Verlag AG
ISBN :
9783031851056
Date de publication :
11 mai 2025
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book provides a concise and self-contained introduction to the foundations of mathematics. In particular, the book includes a full proof of Gödel’s second incompleteness theorem which states that it is impossible to prove the consistency of arithmetic within its axioms.