- 226 名前：１３２人目の素数さん [2025/01/13(月) 06:31:48.85 ID:TxxvswZ2.net]
- >>196
>ふっふ、ほっほ
>その s1,s2,s3 ・・・が
>f(0),f(1),・・・ に該当するか
>否かの保証がないでしょ？
保証？背理法で否定される命題が成立する保証？
高校数学の背理法も理解できない？
どこに背理法で否定される命題を証明する奴がいるの？
>もし、可算選択公理から導かれる可算整列（可能）定理を用いなければ
>”全ての Si (i=1,2,3・・ ｜ i∈N) が、Tを整列し尽くしていること”について
>つまり 『s not ∈T 』の明言の 数学的厳密性に
>疑義の余地ができてしまう のです
できねえわ 馬鹿
