[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
118(1): 2014/03/07(金)22:56:10.71 AAS
二つの体系S1、S2が同等であることを確かめるには
S1の公理がS2で証明できることと、S1の推論規則がS2の推論を（何回か）使ってできること
S1とS2を入れ替えて上と同じこと
を確かめればよい
247: 2014/04/14(月)00:34:27.71 AAS
しかし研究対象がそもそもsubtleに出来ているのなら
それをそのままsubtleに（霊妙に、とでも訳せば良いのか）理解しないといけない。
Einstein曰く、"Subtle is the Lord, but malicious He is not."
神は霊妙ではかりがたい。だが悪意は持たない。
273: 2014/04/27(日)13:59:12.71 AAS
同一人物だろ
318: 2014/05/06(火)22:21:02.71 AAS
あ、ZF について言えばね。
549: ￥ ◆2VB8wsVUoo 2017/06/09(金)05:02:10.71 ID:XVb2Gvc9(11/11) AAS
￥
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 1.004s*