Metamathematics of first-order arithmetic
Auteur :
Hájek, Petr / Pudlák, Pavel
Éditeur :
Cambridge University Press
ISBN :
9781107168411
Date de publication :
2 mars 2017
Dimensions :
24,0 x 16,2 x 3,6 cm
Poids :
910 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.