新米数学博士の数学談話室
今回からいよいよ、記号論理学の上で「集合論」の展開を試みます。本記事ではまず、「なぜ『ZFC公理系』のような複雑な公理系が必要なのか?」という問について考えてみましょう。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。