- 615 名前：１３２人目の素数さん [2025/06/15(日) 16:57:39.87 ID:Eap/oGjV.net]
- >>571
>ここに Aは無限公理により存在する集合を任意に（全て "∀"）選んだものである
まずここが間違い。
任意に選んだものとは「いずれか一つ」であって「全て」ではない。
>問題は、無限公理により存在する集合全て "∀"が、きちんと定義できているのか？ だ
つまり無限公理は公理に非ずと言いたいの？ だって無限公理がどんな集合の存在を謳ってるか不明なんでしょ？ 「なんか分からん集合が存在する」は命題になり得ないよね？ よって公理になり得ないよね？
でも君が持ち出したpdfのφ(x)は命題「xは無限公理が存在を謳う集合」だから、君の説によればωはwell-definedでなく、ひいてはpdfが間違いということになる。
>筑波大 坪井明人 先生に、たてつくか？ｗ
たてついてるのは君だったとさ
