>可算整列可能定理

こんなバカ用語を使ってるのは日本中で一人しかいないって言ってるでしょ。
それに証明を読めば分かるが、集合Xを整列させるのに、集合2^Xの選択公理を用いている。
こんな根本的なことを見落としてるから、コピペ脳はダメだって言われてるんだが。