1 Table of Contents: “... -- The axiom of choice and the continuum hypothesis -- Models -- From Gödel to Cohen. Peano arithmetic...”

2 “... pay particular attention to subsystems (fragments) of Peano arithmetic and give the reader a deeper...”

3 “.... It examines the question whether the incompleteness of e.g. Peano Arithmetic gives immediately...”

4 “... in classical systems, from fragments of Peano arithmetic up to Π11-CA0. Ordinal analysis...”

5 Table of Contents: “...: taking stock -- Two formalized arithmetics -- What q can prove -- First-order peano arithmetic...”