[onedoug]

I thought it was, in Russell's.

I also thought to goof on Fermat's "Last" Theorem, but can't manage the HTML. Oh, well....

[Aurelius]

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.