2015-01-08から1日間の記事一覧

「超限帰納法抜きで選択公理からZornの補題を証明してみた」の証明について

※このエントリには誤りが含まれています。「鎖\(C\)に属さない\(p\)が\(C\)の上界でない」ことから、「\(C\)は\(p\)より大きい要素を持つ」としてしまいました。実際には\(C\)が\(p\)と比較不能な要素を持つケースもあります。修正を検討中です。※反例があり…