[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
130: 2014/03/08(土)20:22 AAS
>>128-129
129 の命題式は恒真なので、(L1)〜(L3) から証明できると思ってました
自分のネタ元は
Elliott Mendelson 『Introduction to Mathematical Logic, 5th ed.』
の
Exercise 1.58
で
"Prove that a wf B of L is provable in L if and only if B is a tautology."
とあります
上下前次1-新書関写板覧索設栞歴
あと 485 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.005s