- 982 名前：１３２人目の素数さん mailto:sage [2016/08/30(火) 08:30:36.03 ID:WfzLQxis.net]
- 命題論理の完全性定理の証明にZornの補題が出てきてしまいました。
公理的集合論の章はまだ先です。
これはなんでしょうか。
メタ的なZornの補題？
循環論法？
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その16
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef