[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 62 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
367(1): 基礎論好き 2021/12/18(土)10:27 ID:GkHrSHcg(4/5) AAS
>>358
>原ペアノ公理を洗練して、集合論に取り込んだというのが、正確な表現でしょう
これは公理系とモデルの区別がついていないことによる誤解のように見えます。
もし集合も扱える「新ペアノ公理系」というものを考えたいなら、それを定義すべきです。
>その後者関数の選び方は、ZFC中ではなんら規定がない（つまり基本、公理の規定外で自由）
>ノイマンは、suc(a) := a ∪ {a} と定義した、ツェルメロはsuc(a) := {a} と定義した（公理の応用として）ってことですね
これも「ノイマン流のペアノ公理系のモデルとツェルメロ流のペアノ公理系のモデルがある」という話でしかないです。
どちらもZFCなどの集合論からペアノ公理系のモデルを作っているわけです。
「とあるモデルで成り立つ話」は必ずしも「公理系上で成り立つ話」ではないことに注意しましょう。
376: 2021/12/18(土)11:15 AAS
>>367
>>原ペアノ公理を洗練して、集合論に取り込んだというのが、正確な表現でしょう
>これは公理系とモデルの区別がついていないことによる誤解のように見えます。
そもそも 雑談 ◆yH25M02vWFhP さんは公理系もモデルも理解してませんよ
彼はナイーブに
「任意有限回繰り返しが可能だから無限回繰り返しも可能」
と思い込んでるだけです
「任意の自然数が自然数全体の集合の要素なら、∞も要素」
と、ペアノ公理に真っ向から反する元∞を自然数と認めちゃうほど
非論理的な直感的想像をしちゃう素人ですからね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.261s*