知識は永遠の輝き

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

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

2010-01-31 06:45:09 | 数学基礎論/論理学
ヒルベルトの『幾何学基礎論』での公理系における線分の合同について述べます。ここでの線分の定義は2点間の無限点集合ではありません。 . . . 本文を読む
コメント