4 ms·
Strictly speaking, aren’t these the axioms of Robinson arithmetic (a much weaker system)? For Peano arithmetic you need the axiom schema of induction as well.
by intuitionist 8y ago
Strictly speaking, aren’t these the axioms of Robinson arithmetic (a much weaker system)? For Peano arithmetic you need the axiom schema of induction as well.
- choeger 8y agoI think structural induction over S will do just fine.
- traderjane 8y agoI thought that the recursively enumerable structure was given by the Axiom of Induction.