PartC-Chapter5-4~5

Bibliography Index

0 Background 1 Standard Model

2 Discretely Ordered Rings

3-Goedel-imcompleteness

4 the Axioms of Peano Arithmetic

5 Some Number Theory in PA

6 Models of PA

7 Collection

8 Prime Models

9 Satisfaction

10 Subsystems of PA

11 Saturation

12 Initial Segments

13 the Standard System

14 Indicators

15 Recursive Saturation

16 Suggestions for Further Reading

Graph of Ackermann-Function is Pr

Concepts of Truth in Intuitionism