On Feb 25, 7:35 am, Dan Christensen <Dan_Christen...@sympatico.ca> wrote:
> > How do you rate Peano's attempt? > > It was a real breakthrough in its day, but it was a essentially an exercise in pattern recognition: Here are some facts about the natural numbers from which it may be possible to derive all others. What I have done differently is to derive these facts/axioms (including induction) starting with nothing more than assuming that there exists an injective fuction defined on a set
AND 2nd ORDER LOGIC!
[DAN] - I make no claim that it is first-order.
Sure, given ALL(X) ...formula..
it's so easy!
This just uses DOUBLE VARIABLE NAME COMPATIBLE BINDING
and THE COMPUTER SEARCHES for the Proofs using only 10 lines!