集合による「自然数」の定義 公理的集合論では、「集合」の概念を基礎として数学を構築することを目指しており、「自然数」の概念すらも集合を使って定義しようと試みます。もう少し柔らかく言うと、集合を使って、自然数の「代替品」となるものを用意できな…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。