ﾚｽ書き込み

Inter-universal geometry と ABC予想 (応援スレ) 74

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

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

>>38
> つづき
> 
> https://ja.wikipedia.org/wiki/%E8%87%AA%E7%84%B6%E6%95%B0
> 自然数
> https://ja.wikipedia.org/wiki/%E3%83%9A%E3%82%A2%E3%83%8E%E3%81%AE%E5%85%AC%E7%90%86
> ペアノの公理
> 自然数の集合論的構成
> 具体的な自然数は
> 1:=S(0)={0}={∅}
> 2:=S(1)={0,1}={∅,{∅}}
> 3:=S(2)={0,1,2}={∅,{∅},{∅,{∅}}}
> 4:=S(3)={0,1,2,3}={∅,{∅},{∅,{∅}},{∅,{∅},{∅,{∅}}}}
> のようになる。この構成法はジョン・フォン・ノイマンによる[7]。
> 注釈
> 3 ^ 任意の部分集合に関する量化を行っているので、これは一階述語論理では形式化できない。
> 
> https://ja.wikipedia.org/wiki/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6
> 数理論理学
> 一階述語論理
> 形式論理の初期の結果は一階論理の限界を明らかにした。レーヴェンハイム＝スコーレムの定理（1919）は、可算な一階の言語における文の集合が無限モデルを持つならば、それは任意の濃度のモデルを少なくともひとつ持つことを示した。これは一階論理の公理系によって、自然数、実数ほか、いかなる無限構造も同型を除いて特徴づけることができないことを示している。初期の基礎論的研究の目標が数学の全部分の公理的理論を生み出すことであったから、この限界はとりわけ冷徹なものであった。
> ゲーデルの完全性定理　(Gödel 1929)　は一階論理の論理的帰結に対する構文論的定義と意味論的定義の同値性を確立した。これは、もしある特定の文が、ある特定の公理の集合を満たすあらゆるモデルで真であるならば、それらの公理からその文への有限な演繹が存在することを示している。
> 
> https://www.math.tsukuba.ac.jp/~kota/Ikegami.pdf
> Boolean valued higher order logics
> 池上大祐 東京電機大学 平成27年11月28日
> 
> ちょっと寄り道ctd.：順序数・基数無限にもいろいろありまして…。
> 
> だいぶ寄り道？ctd..：コンパクト性と巨大基数
> 
> つづく

ﾛｰｶﾙﾙｰﾙ SETTING.TXT

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

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

上下板覧索設栞歴

ぬこの手ぬこTOP 0.022s