19/09/15 15:03:33.18 NNU+uf1a.net
>>208
(引用開始)
> 集合N'は二つの元から成る有限集合か？
URLﾘﾝｸ(www.people.vcu.edu)
p.13 Example 1.3, p.15 Example 1.4などを見て
Exercises for Section 1.3, 1.4あたりを解いてみれば？
(引用終)
見たけど、そのPDF Edition 2.2 2013で ちょっと古い
いま、Edition 3.1 2018(下記)
それで、p.13 Example 1.3 は、p.14 Example 1.6
になっているけど、これ、素朴集合論ベースでしょ
例えば
・” 1 not⊆{1,{1}} . . .because 1 is not a set ”とか
1は集合ではなく、集合を構成する元だという
しかし、日本の普通の公理的集合論ZFCでは、集合を構成する元も実は集合ですよね
・”Φ not∈ N . . . . because the set N contains only numbers and no sets”も、いま議論している
公理的集合論ZFCによる自然数の構成とは、立場が異なる
（参考）
URLﾘﾝｸ(www.people.vcu.edu)
Richard Hammack
URLﾘﾝｸ(www.people.vcu.edu)
BOOK OF PROOF Third Edition
URLﾘﾝｸ(www.people.vcu.edu)
Book of Proof Edition 3.1 2018 Richard Hammack
Department of Mathematics & Applied Mathematics Virginia Commonwealth University
(抜粋)
P14
Example 1.6
2. 1 not⊆{1,{1}} . . .because 1 is not a set
9. Φ not∈ N . . . . because the set N contains only numbers and no sets
（>>207より参考）
URLﾘﾝｸ(ja.wikipedia.org)
自然数
(抜粋)
他にも自然数の定義は無限にできる
例えば、0 := {}, suc(a) := {a} と定義したならば
0 := {}
1 := {0} = {{}}
2 := {1} = {{{}}}
3 := {2} = {{{{}}}}
と非常に単純な自然数になる
(引用終)
（参考）
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語 20170214
集合の記号の意味まとめ
(抜粋)
A⊆B ：集合 A は集合 B の部分集合である
A⊂B ：集合 A は集合 B の真部分集合（部分集合であるが等しくはない）である
注：部分集合，真部分集合の記号についてはいくつか流儀があるので注意が必要です