ﾚｽ書き込み

IUTを読むための用語集資料集スレ

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

名前
ﾒｰﾙ
引用切替：ﾚｽｱﾝｶｰのみ

>>731
> (>>706より)
> https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
> 自然数
> 集合論において標準的となっている自然数の構成は以下の通りである。
> （上記のノイマン構成法で略す）
> 例えば、0 := {}, suc(a) := {a} と定義したならば、
> 0 := {}
> 1 := {0} = {{}}
> 2 := {1} = {{{}}}
> 3 := {2} = {{{{}}}}
> と非常に単純な自然数になる。
> （注：これがシングルトンによる自然数構成）
> https://ja.wikipedia.org/wiki/%E5%8D%98%E9%9B%86%E5%90%88
> 単集合（たんしゅうごう、英: singleton; 単元集合、単項集合、一元集合）あるいは単位集合（unit set[1]）は、唯一の元からなる集合である。
> 例えば、{0} という集合は単集合である。
> 単集合であることと、その集合の濃度が 1 であることは同値である。
> (引用終り)
> 
> ＜数学的に厳密ではないが、直観的理解として＞
> ・上記で、人が衣を着ているようなものと思いなよ。カッコ{}が着物だと思いな。例えば、”1 := {0} = {{}}”なら、２重の着物で、0から数えれば一重だ。
> ・で、ωってのは、（可算）”無限”に着物を重ね着しているようなものだ。もし、時枝のように無限個の箱が用意できるなら、無限の着物もある。その無限 重ね着が、シングルトンωだ
> ・そして、ωはいかなる自然数の後者でもない（下記）。従って、ωの直前の前者の自然数もない。但し、それはシングルトンに限らない。それは、ノイマンの後者関数でも同様だよ
> 
> （参考）
> https://ja.wikipedia.org/wiki/%E6%A5%B5%E9%99%90%E9%A0%86%E5%BA%8F%E6%95%B0
> 極限順序数
> 極限順序数（きょくげんじゅんじょすう、英: limit ordinal）は 0 でも後続順序数でもない順序数を言う。
> 任意の順序数は、0 または後続順序数、さもなくば極限順序数である。
> 任意の自然数よりも大きい最小の超限順序数 ω は、それよりも小さい任意の順序数（つまり自然数）n が常にそれよりも大きい別の自然数（なかんずく n + 1）を持つから、極限順序数である。
> (引用終り)
> 以上

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

他の携帯ﾌﾞﾗｳｻﾞのﾚｽ書き込みﾌｫｰﾑはこちら｡書き込み設定で書き込みｻｲﾄの設定ができます｡
・ULA
・べっかんこ(身代わりの術)
・べっかんこ(通常)
・公式(ｽﾏﾎ)
・公式(PC)[PC,ｽﾏﾎ,PHS可]

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

上下板覧索設栞歴

ぬこの手ぬこTOP 0.024s