I have found it useful to visualize Peano's axioms in geometric terms-- the set of natural numbers as a directed graph, each axiomexpressible as a property of that graph. It might be fun to formallyderive the equivalent of Peano's axioms using suitable axioms ofEuclidean plane geometry. After that, you could forget all aboutgeometry in further developing number theory.