トップページ⇒math

984コメント406KB

数学基礎論・数理論理学　その15 [転載禁止]©5ch.io

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

0488１３２人目の素数さん

2015/01/18(日) 22:39:08.56ID:hxZlHAT5

>>487
>>474は
>述語記号の変数の数や関数記号の変数の数が決まっているというためには自然数論が要るのではないか?
という話ではないの?

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