[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
267: 11/05(水)14:04 ID:vZYtBEGo(1/3) AAS
＞高階論者（と称するド素人）
＞「（一般）人の思考は 一階論理に縛られない」
数学者
「数学の理論は、一階述語論理上の公理系として表現され
定理は一階述語論理によって公理から証明される」
268: 11/05(水)14:10 ID:vZYtBEGo(2/3) AAS
”Finite-Order Arithmetic”＝「有限階論理」
わざわざこう表現することからして
一階ではなく二階以上
ということだと認識している
ついでにいうと二階算術とは、整数のみならず、
整数の部分集合に対する限量子を用いるという意味
もちろん、その場合も一階算術同様
一階述語論理に公理を追加した公理系を用いる
上記は
数学を全く知らぬド素人（例：カラスの世田）
省1
269: 11/05(水)14:11 ID:vZYtBEGo(3/3) AAS
誤 ”Finite-Order Arithmetic”＝「有限階論理」
正 ”Finite-Order Arithmetic”＝「有限階算術」
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.051s