知識は永遠の輝き

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

ある組織-6-置換公理

2010-10-17 06:31:19 | 数学基礎論/論理学
規則8は置換公理と呼ばれています。 . . . 本文を読む
コメント