現代数学の系譜　カントル　超限集合論

[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

617: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/07(土) 08:42:52.69 ID:H2e5WMAT

>>614
無理するな（＾＾

（>>612より）
https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0065
（このサイトからPDFが落とせる）
Untersuchungen uber die Grundlagen der Mengenlehre. I. Von E. ZERMELO in Gottingen. P261
(抜粋英訳)
P263
Axiom I. If every element of a set M is simultaneously an element of N and vice versa, that is, if M = E N and N = E M at the same time, then M = N is always M or shorter: every set is determined by its elements.

P266
But in order to secure the existence of "infinite" sets, we still need the following axiom, which derives from its essential content by Mr. R. Dedekind.
Axiom VII. The domain contains at least a set Z which contains the null set as an element and is such that each of its elements a is another element of the form {a}, or which with each of its elements a is also the corresponding set {a } as an element.
(Axiom of the infinite.)
14 VII. *) If Z is an arbitrary set of the properties required in VII, then for each of its subsets Z1 it is definite whether it possesses the same property. For if a is any element of Z1 ', it is definite whether {a} ∈ Z1,
and all the elements a of Z1 thus constituted form the elements of a subset Z1' for which it is definite whether Z1 '= Z1 or Not. Thus, all subsets Z1 of the considered property form the elements of a subset T = E UZ,
and the average corresponding to them (# 9) Z0 = DT is an amount of the same nature.
つづく

http://rio2016.5ch.net/test/read.cgi/math/1570237031/617

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.032s