Cantorの定理
主張
$ \N
から
$ \N^\N
への全射は存在しない．
証明1
対角線論法
でよく証明される．
証明2
強制法
でも証明可能である．
強制法によるCantorの定理の証明 | Mathlog