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


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

552 名前：１３２人目の素数さん mailto:sage [2011/04/25(月) 16:59:17.12 ]: 与えられた体系の中での命題の独立性と、
公理系そのものの独立性の話の話は区別しないと。
前者は気にするのが普通だし、重要な問題であることも多い。
後者はよほど特別なことがない限り、気にすることはない。

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef