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.

Download my DC Proof 2.0 software at