>>459
厳密な意味での背理法かどうかを問題にしているわけではないんだ
「√2=n/mと仮定すると矛盾する」というステップ無しでの無理性の証明はあり得ない、と指摘した