定義できる実数が加算個だと対角線論法で矛盾が生じるんだけど