トップページ⇒math

1001コメント392KB

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

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

0773１３２人目の素数さん

2011/06/14(火) 01:33:10.08

>>769
セマンティクスを全部放棄してシンタックスのみで議論すればよい

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