I'm no expert on the Principia, never cracked it for that matter, except maybe to see what I looked like. But it's hard for me to see how they could have defined 2, except essentially as 1 + 1.
As for Fermat's last theorem, God, of course, could have checked that out case by case. You don't have to check it for all powers, only for 4 and the primes.
140 posted on 01/07/2002 2:09:12 PM PST by Aurelius