|Oct3-11, 03:30 PM||#1|
Peano Axioms and Shoenfield
I seemed to have read somewhere that the Peano Axioms were derivable from the Successor Axiom. Is this true? And was this proven by Shoenfield? Reference?
|Similar Threads for: Peano Axioms and Shoenfield|
|How do primes come out of Peano arithmetic?||Linear & Abstract Algebra||4|
|Picard's and Peano's Theorem||Differential Equations||6|
|Constructing Peano curves||Calculus||0|
|"Mathematical Logic" by Joseph R. Shoenfield||Math & Science Software||4|