KnowraPeano arithmeticLinked fromLinked fromThe 18 pages that link to Peano arithmetic, each with the reason it gives.All 18Broader topic 5Related 9Compared with 4EntscheidungsproblemCompared with: Its theorem set is undecidable, a related limit distinct from first-order validity itself.DecidabilityCompared with: Unlike Presburger arithmetic, the set of its theorems is not decidable.Presburger arithmeticCompared with: Unlike Presburger arithmetic, it includes variable multiplication and is incomplete and undecidable.Kruskal's tree theoremCompared with: The full theorem is not provable in this standard arithmetic theory.