たとえば
a≠0で
a^0 = 1を定義したとき、守ったものは指数法則だった。
指数法則が成り立つような定義がwell-definedだったといえる。

ではe^(iθ)を定義するとき何を守るべきだろうと考えると、
それは微積分の法則だと思う。
指数が虚数であれ、定数のときと同じように振舞うものとして、定義するなら
>>17の方法やマクローリン展開による方法が主張する妥当性は強いといえる。