- 404 名前：１３２人目の素数さん [2025/01/18(土) 09:40:50.47 ID:6E7jiXBj.net]
- >>361
> ”任意の集合 A に対して A と同数であるような順序数が存在する”が、
> 選択公理に依存していると、整列可能定理の証明で”順序数”の性質を使ったり
> あるいは そもそも整列可能定理自身が、上記 ”順序数”の性質を使っているとすると
> 整列可能定理→ 選択公理 の証明が、循環論法です
何わけわかんないこといってんだ？阪大工学部卒の凡人
そもそも選択公理と整列可能定理は同値だが？
どっちかが別の公理から導けるのでないかぎり循環論法なのは当然
そもそもコーエンが「ZFから選択公理は証明できませんが何か？」といってるだろ
で、順序数は選択公理なんか使わんでも定義できる 阪大工学部卒の凡人が知らんだけ
スコットのトリックとかほざいてるけど、凡人、それ理解できたのか？
理解もせずにただその言葉だけ唱えてるんじゃ、ただのサルだぞ？
サルからヒトになりたいんだろ？ だったら中身を略さず理解しろな
いやなら、数学は諦めろ サルには無理だから
