1001コメント376KB

数学基礎論・数理論理学　その8

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

0264１３２人目の素数さん

2011/07/30(土) 12:13:59.00

>>259
暗黙というのは未定義の言葉や論理に頼らざるを得ないということですか？
>>260
記号の個数や集まりなどの素朴な数や集合概念と呼ぶような
ものはさすがに前提されるのですか？

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