[deleted] comments on Exponentiation goes wrong first

[[deleted]]

The Buss axiom mentioned on Math Overflow is very cool.