Assertion: logic's power | /r/HasProperty | the dedekind-peano axioms
Facets:
Source sentences:
text: The real power of Frege's strategy for representing propositional structure is most evident in his discussions of proofs by induction, the Dedekind-Peano axioms for arithemetic, and how the proposition that every number has a successor is logically related to more basic truths of arithmetic; see the entry on Frege's theorem and foundations for arithmetic.