Bemærk: Kan ikke leveres før jul.
A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano arithmetic,... Læs mere
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
Bemærk: Kan ikke leveres før jul.
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.