ﾚｽ書き込み

ｽﾚへ戻る 写 ﾚｽ栞 ﾚｽ消

---

現代数学の系譜 工学物理雑談 古典ガロア理論も読む77

PC,ｽﾏﾎ,PHSは 公式(ｽﾏﾎ) 公式(PC) で書き込んでください｡

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ
>>232 > >>211 > (引用開始) > >>207 > >いや、そもそも、素朴集合論では、「ノコギリ」はアトム（元）であって、 > >集合同士に適用する⊂（包含関係）は適用できない > ちょｗ > >５）もしノコギリが集合だと考えると > と、>>188で言ったのはおまえなんだがｗ > (引用終り) > > どうも。スレ主です。 > それ、そもそも、自分で>>188の５）で > 「もしノコギリが集合だと考えると」で初めて > 「ノコギリは、集合ではなく元だったので ノコギリ∈Z」を導いたのです（＾＾； > > いや、集合論は、大きく > １）アトム（元）がなく、全てが空集合から作られ、元も集合からなるという、その代表がZFC公理的集合論 > ２）アトム（元）の存在を認める、素朴集合論や、下記”アトムのある集合論 ZFA （Zermelo-Fraenkel with Atoms）” > 二つに分けられる > それで、>>188では、この二つを意識的に混ぜて使ってみたわけ > まあ、⊂とか∈とかの意味づけが、この二つの集合論で微妙に違うという話をしたかったわけです > > （参考） > http://www.ivis.co.jp/text/20190619.pdf > 代替集合論 （Alternative Set Theories）の調査 2019/6/19 > 古賀明彦 わかみず会用資料 > Alternative Set Theories の定着した訳語が分からなかったので，本資料ではとりあえず「代替集合論」とした > (抜粋) > P80 > アトムがある集合論と > 基礎の公理の否定公理がある集合論 > P82 > アトムのある集合論 ZFA （Zermelo-Fraenkel with Atoms）
ﾛｰｶﾙﾙｰﾙ SETTING.TXT

---

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

---

書き込み設定(板別)で板別の名前とﾒｰﾙを設定できます｡

---

ﾒﾓ帳

(0/65535文字)

---

上下板覧索設栞歴

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.022s