<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2005-12-01 07:11:01Axiom Mathematical proof Foundations of mathematics Peano axioms Kurt Gödel Contradiction Zermelo–Fraenkel set theory Theorem Gottlob Frege Logic Mathematics Mathematical logic |
|
Do the Integers Exist? The Unknowability of Arithmetic Consistency JACK T. SCHWARTZ Courant Institute It is an article of faith for most mathematicians that Peano’s axioms for arithmetic are consistent, perhaps becaus