トップページ⇒math

1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

■ このスレッドは過去ログ倉庫に格納されています

008079

2011/01/03(月) 00:59:47

>>79の最後が抜けてた

だから公理系は公理的集合の一種になると思う

■ このスレッドは過去ログ倉庫に格納されています