Peano arithmetic edit

I commented on Talk:Peano axioms about how the entire section on the second order axioms needs to be rewritten. You have been editing it lately, so you may be interested. CMummert 12:46, 3 January 2007 (UTC)Reply