>>175
別にその2通りでなくても対角線論法は証明できるんじゃね?
たとえば1.000…と0.999…と0.888…が1に近づくとしても証明できるでしょ