[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
241
(1): 2019/10/10(木)20:31 ID:JxHMvoEF(1/3) AAS
>>224
>それ、下記の”Zermelo’s Axiomatization of Set Theory Michael Hallett”に書いてあるよ

英語読めてる?

>VII.Infinity
>This final axiom asserts the existence of an infinitely large set which contains the empty set,
>and for each set a that it contains, also contains the set {a}.
> (Thus, this infinite set must contain ∅, {∅}, {{∅}}, ….)
省6
245
(1): 2019/10/10(木)20:52 ID:JxHMvoEF(2/3) AAS
>>243
なんか、全然見当違いな方向に暴走してない?

Zermeloの自然数の延長としてωを構成すると
{∅, {∅}, {{∅}}, …, }になるって書いてある

君のいう超限回(可算無限回)繰返しなんて全然出てこない

>自然数Nには、有限の元n達が全部含まれている
>それを超える元を、無限公理は許容しているのです
省2
246: 2019/10/10(木)20:58 ID:JxHMvoEF(3/3) AAS
質問

超限回(可算無限回)繰返しっていうけど
それで出来た集合Xって
X={x}となるxを持つの?
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.032s