次の命題を考える（証明はしない）。$`\quad \forall x\in {\bf R}.\exists n\in {\bf Z}. n \le x \lt n + 1`$もしこれが成立するなら、実数を整数部と小数部に分けることができる。$`\quad x = n + r \text{ where } n\in{\bf Z} \land 0\le r \lt 1`$ちゃ…

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