考えるてみること： 命題を支えている前提 その前提を弱めてみる 命題（性質）の肯定的例（正例）と否定的例（反例） 内容： 定義と否定的例 例1 無限大追加の正自然数 例2 正自然数の直積 例3 正自然数の掛け算 例4 三元の順序可換半群 解釈 例1から分かる…