Date: Dec 10, 2012 1:01 PM
Author: Dan Christensen
Subject: Re: fom - 01 - preface
I have found it useful to visualize Peano's axioms in geometric terms

-- the set of natural numbers as a directed graph, each axiom

expressible as a property of that graph. It might be fun to formally

derive the equivalent of Peano's axioms using suitable axioms of

Euclidean plane geometry. After that, you could forget all about

geometry in further developing number theory.

Dan

Download my DC Proof 2.0 software at http://www.dcproof.com