KnowraPeano arithmeticLinked fromLinked fromThe 18 pages that link to Peano arithmetic, each with the reason it gives.All 18Broader topic 5Related 9Compared with 4Gödel's incompleteness theoremsBroader topic: The concrete theory to which the theorems apply; it is incomplete if consistent.Kurt GödelBroader topic: Gödel encoded statements about proofs within arithmetic of this kind.Interpretation (logic)Broader topic: Its intended interpretation uses natural numbers, while other structures can satisfy its axioms too.Peano axiomsBroader topic: It develops the first-order Peano axioms into an arithmetic theory.Löb's theoremBroader topic: It is a standard example of a sufficiently strong theory for arithmetized provability.