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