Larry Fontaine wrote:
> 
> Nothing can be proven without an assumption.
> For example, numbers can only be defined using numbers. Numbers were
> made up by humans out of thin air...

No - the Peano axioms don't require any numbers to start with.  Only a
thing and the concept of a successor of that thing.  Standard formal
logic stuff.  Of course it takes Bertrand Russel a couple of hundred
pages in his Principles of Mathematics to get to the point that you can
show that 1 + 1 = 2.

Xander

Post a reply to this message