めもめも

集合による「自然数」の定義 公理的集合論では、「集合」の概念を基礎として数学を構築することを目指しており、「自然数」の概念すらも集合を使って定義しようと試みます。もう少し柔らかく言うと、集合を使って、自然数の「代替品」となるものを用意できないかと考えます。たとえば、何も無いことを表す空集合 を「0」の…