First, you probably learned some time ago that for a any number and n a positive integer "
an" is defined as "a multiplied by itself n times". So
a3=a∗a∗a, etc. From that we can prove two nice properties,
(an)(am)=an+m and
(an)m=anm.
(an)(am)=(a*a*…(n times))(a*a*a...(m times)) so we are multiplying a total of m+ n "a"s together. We can think of
(am)n as an array of "a"s written as n lines, each line with m "a"s, so a total of nm "a"s.
Now, we want to
define ax where x is not a positive integer. We are free to define things any way we like (as long as everyone agrees to the definitions) but we would like to have those nice properties still true. That is, we want to
define a0 so that
an+0=(an)(a0). But n+ 0= n so we must have
an+0=an=ana0. In order that this be true for all n, we must
define a0=1, That's the "logic"!