[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 45 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
243(1): 2020/05/08(金)11:16 ID:enp/+yz7(4/20) AAS
一般人（すなわち数学科出身者以外の人）向けの
「グッドマス ギークのための数・論理・計算機科学」
という本の中でZFCの公理について説明しているが
例えば2.3の分出公理は分出メタ公理として紹介している
そのくだり
「∀A∃B∀C.C∈B⇔C∈A∧P(C)
これを１つの公理でいいたいところなのですが、残念ながら言えません。
省6
246(3): 2020/05/08(金)11:44 ID:qXGvfbUV(7/26) AAS
>>243-244
私は、別に望月先生を擁護をする気はないけど、あなたの言うことは、本筋からずれているよね
>例えば2.3の分出公理は分出メタ公理として紹介している
そんなの ja.wikipediaに書いてある通りじゃね？
下記「この公理は、論理式 ψ をパラメータとする公理図式である」と書いてあることでしょ？
論理式 ψ というパラメータが入っている。この場合、ψはなんでも良いんだ
望月先生が知っているどうか知らないし
省24
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 3.106s*