1001コメント392KB

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

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

0046１３２人目の素数さん

2010/12/29(水) 13:38:38

「より基本的」というのが「証明できる論理式がより少ない」という意味なら
最小論理、直観主義論理、etc...があるけども

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