数学的実在とは－幾何学－10－原論と基礎論(8) 2010-02-09 06:45:21 | 数学基礎論／論理学 「対頂角は等しい」という定理の証明は角度という量の存在を前提にすれば簡単だが、ヒルベルトの公理系では複雑なものになる。 . . . 本文を読む
