訂正

e^iπ =-1は定義ですか?それとも公理ですか?それとも定理ですか?