[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
232(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/16(月)10:09 ID:Snw5PyNp(2/6) AAS
>>211
(引用開始)
>>207
>いや、そもそも、素朴集合論では、「ノコギリ」はアトム（元）であって、
>集合同士に適用する⊂（包含関係）は適用できない
ちょｗ
>５）もしノコギリが集合だと考えると
と、>>188で言ったのはおまえなんだがｗ
(引用終り)
どうも。スレ主です。
それ、そもそも、自分で>>188の５）で
「もしノコギリが集合だと考えると」で初めて
「ノコギリは、集合ではなく元だったので ノコギリ∈Z」を導いたのです（＾＾；
いや、集合論は、大きく
１）アトム（元）がなく、全てが空集合から作られ、元も集合からなるという、その代表がZFC公理的集合論
２）アトム（元）の存在を認める、素朴集合論や、下記”アトムのある集合論 ZFA （Zermelo-Fraenkel with Atoms）”
二つに分けられる
それで、>>188では、この二つを意識的に混ぜて使ってみたわけ
まあ、⊂とか∈とかの意味づけが、この二つの集合論で微妙に違うという話をしたかったわけです
（参考）
外部ﾘﾝｸ[pdf]:www.ivis.co.jp
代替集合論 （Alternative Set Theories）の調査 2019/6/19
古賀明彦 わかみず会用資料
Alternative Set Theories の定着した訳語が分からなかったので，本資料ではとりあえず「代替集合論」とした
(抜粋)
P80
アトムがある集合論と
基礎の公理の否定公理がある集合論
P82
アトムのある集合論 ZFA （Zermelo-Fraenkel with Atoms）
上下前次1-新書関写板覧索設栞歴
あと 770 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.972s*