0629132人目の素数さん
2018/06/06(水) 05:37:52.25ID:bCWsafiWR := 実数集合 (連続体濃度)
A := 有限長記号列で表現可能な全ての実数の集合 (可付番濃度)
α := 集合 R - A から選んだ1要素 (選択公理を仮定)
とします。
α を定義する記号列は有限長なので、α は A に含まれます。
しかし α は A - B の要素なので、 α は A に含まれません。(矛盾)
これは何が問題なのでしょうか?
Aがあれで定義できているのか怪しい気がするのですが、
公理的集合論の立場から具体的に指摘してもらえると助かります。