知識は永遠の輝き

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

-論理体系の解剖-1.5- 定理を創る公理

2016-05-09 06:40:42 | 数学基礎論/論理学
 ヒルベルト流の公理では公理の数を少なくするために、巧みな仕組みが仕込まれていました。 . . . 本文を読む
コメント