>>413
> 現在用いられている定義よりより良いものがまだ見つかってないだけで存在するかもしれませんし
解析関数としての複素数への拡張が一通り以外に存在しないことは証明されている

そこから、
> ”xのところにixを形式的に代入する”
だけで、
> キッチリした定義
になることも導かれる