純粋・応用数学（含むガロア理論）6

633 ：１３２人目の素数さん：2021/03/29(月) 22:54:17.80 ID:jhylP48U.net

>>590
>公理的集合論では{}は存在します。0を{}と定義すれば0は存在します。

おっさん、アホやな
下記
「素朴集合論には、集合でないモノがあります。例えば、整数3は集合でしょうか？ 普通の感覚では、3は集合ではありません。素朴集合論で、3はアトムです。ZFC集合論では、3はアトムではありません。」
「集合概念が必要な場面では、ZFC公理的集合論が使われているのでしょうか？ -- 使われません。日常的にZFC公理的集合論を使う人なんていない、と言うと言い過ぎだけど、極めて少数です。」

（参考）
https://m-hiyama.はてなBlog.com/entry/20171024/1508830602
檜山正幸のキマイラ飼育記 (はてなBlog)2017-10-24
現場の集合論としての有界素朴集合論
内容：
1.述語論理と集合論
2.素朴集合論とは何か
3.アトムと集合
4.宇宙と銀河
5.有界素朴集合論
6.有界素朴集合論の使い途

特筆すべきは、ZFC公理的集合論（Zermelo–Fraenkel axiomatic set theory with Choice）も一階古典述語論理により記述されていることです。カスタマイズは自然数論よりむしろ簡単で、追加する記号は'∈'だけです。これに幾つかの公理を足して、あとは一階古典述語論理の推論能力を使って定理を証明していくだけです。

ZFC公理的集合論は、一階古典述語論理の上に構築できる理論の一例に過ぎません。しかし、特別なものだと見なされています。現状の全ての数学的理論は、ZFC公理的集合論の内部で展開できると信じられています。例えば、集合論とは独立に構築した自然数論も、ZFC公理的集合論のなかに埋め込める（集合論の言葉に翻訳できる）のです。

ZFC公理的集合論の万能性・普遍性は認めたとしても、だからと言って、何でもZFC公理的集合論のなかでやる必要はありません。つーか、そんなことはしません。自然数論は、集合論とは独立な体系内でやればいいのです。必要があれば、ZFC公理的集合論への埋め込み（翻訳）を作ればいいのです。

つづく