X^2＝X*Xが成り立つのはなぜか？それは、「X^2」という3文字の記号列を
「X*X」で定義しているからそうなるのであり、これがX^2＝X*Xの証明である。
X^3＝X*X*Xが成り立つのはなぜか？それは、「X^3」という3文字の記号列を
「X*X*X」で定義しているからそうなるのであり、これがX^3＝X*X*Xの証明である。
X^0＝1が成り立つのはなぜか？それは、「X^0」という3文字の記号列を
「1」で定義しているからそうなるのであり、これがX^0＝1の証明である。