[過去ログ] 現代数学の系譜 カントル 超限集合論 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
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
243
(1): 現代数学の系譜 雑談 ◆e.a0E5TtKE 2019/10/10(木)20:42 ID:JCH5uyU5(6/7) AAS
>>241
(引用開始)
ツェルメロの自然数における無限公理は
{∅, {∅}, {{∅}}, …, }
の存在を述べているだけ
{…{∅}…}なんて全然出てこないけどな
(引用終り)
省12
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.029s