背理法不要論ってどうなん？

[0218 １３２人目の素数さん 2018/08/11(土) 06:57:10.83 ID:/7veEAAF]

>>35
>「全射があったと仮定する」と言いながら、全射であるという条件を使わず、
俺の知ってる証明は全射であることを使ってるけど
使わない証明ってどういうのか教えて