goo blog サービス終了のお知らせ 

知識は永遠の輝き

学問全般について語ります

数学的実在とは-幾何学-10-原論と基礎論(8)

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