Reply:>>333 それではxが無理数のときのa^xがより簡単にwell-definedであるとわかるような導入方法があるのか?