- 269 名前：１３２人目の素数さん mailto:sage [2024/12/05(木) 08:03:36.13 ID:rhDTP9vs.net]
- >>236
>ZFCの中で、存在例化を明示的に使っている文献を、一つで良いから示せ
ツォルンの補題の証明
https://mathlandscape.com/zorn-lemma/#toc4
「選択公理により，
帰納的半順序集合 X 上に
選択関数 f:2＾X→X を定める
(ただし，2^XはXのべき集合)。」
>出来るよね
そりゃ出来るよ
選択公理を設定した目的を考えれば明らか
>もし、出来るならばシャッポを脱ごう
シャッポでもパンツでも脱いでもらおうか
まあ、還暦すぎた爺の●ン●ン見ても嬉しくないけどな
