Inter-universal geometry と ABC予想 (応援スレ) 71 (654ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
66: non 04/23(火)08:15 ID:lIu6DEfw(1/2) AAS
>>56
>数理論理学的には数学理論の体系は
>?公理系 A と標準モデル M のペアである
>?公理系 A から定められた推論測で演繹されるものが定理である
>?モデル M で真と判定される命題が真である。
>とするということ。
なぜ?で標準モデルを持ち出す必要があるのかね？
Aだけでよくないかね？(Aを満たすモデルMは、Aで定まるから）
そもそも君のいう標準モデルとは何かね？説明できるかい？
77: 04/23(火)11:26 ID:lIu6DEfw(2/2) AAS
>>76
海外の興味を持った人の期待を裏切った点で
2015年12月のオックスフォードでのワークショップは
大失敗だったね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.690s*