 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 arithmetic, 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.  But without getting into these details, one can get a sense of Frege’s improvement on previous logic by considering (15–16) and Fregean analyses of the corresponding propositions.