>>583
↑不動点論法による実数が可算ではない（自然数からの全射を持たない）という証明。