Here is as good a place as any to introduce into our logical discussion of the real number system the notion of exponentiation with integral exponents. If a ∈ R and n is some positive integer we define to be (n times), and if we define , . From these definitions we immediately derive the usual rules of exponentiation, in particular
1 ---------- end topic
Practice with googols.