カントールの対角線論法によってformula_14が成り立つことが証明される。