>>24
√2の無理数性の証明と対角線論法は背理法といっても違うらしい