- 302 名前：１３２人目の素数さん mailto:sage [2021/10/15(金) 14:27:54.72 ID:W7p98/kC.net]
- じゃ、シメるな
>>273
>４．なお、可算多重の{{{...}}}ωに対して、
> ”集合でないアトムになるか、集合ならば正則性公理に反する”
> は、意見としては認めるが、証明された命題とは認めない
まず、{{{...}}}ωが、シングルトンだとするね
その場合、当然唯一の要素が存在するけど、
それがωの前者であるω-1ということになる
というのはいいのかい？
ωは極限順序数であって、ω-1ってそういうもん存在し得ないから矛盾するんだけど？
これ「ωがシングルトンだと矛盾する」っていう証明な
理解できない？ じゃ、悪いけど、数学ムリだな 諦めな
>（なお、５ｃｈに書き下した ぐしゃぐしゃの証明は、
> 基本的には読まないし、証明されたと認めない。）
たった数行の証明が「ぐしゃぐしゃ」で読めないんじゃ
全然読解力ないから数学ムリ 悪いけど諦めな
