>>33
例えば√2が有理数でないことを証明することもそれに入る?