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.
Though it was proven by proving it is modular. But you knew that, didn't you?
The assertion chain starts out as flat binary, but becomes as 3-D as English semantics before the end of volume 1. IMHO the Principia is a non-orientable manifold.