>>60
> こんなことを言うんだったら、たとえばじゃあ実数とは何だ？数とは何だ？
> 極限とは何だ？それに答えなければ、証明出来てないことになるぞ。

普通にデデキント=ペアノの自然数の公理から始めて実数体を構成できるし、
そこから複素数体も容易に構成できる。極限の定義も容易。だから解析学では
冪級数から出発すれば良いだけなのでは？幾何学基礎論的に角度を公理的に定
義して、こいつに実数を対応させるのは二度手間になると思わない？