[過去ﾛｸﾞ] 集合論について (615ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
302(1): 2014/05/02(金) 09:17:05.88 AAS
>>300
まあ間違わないと言っただけで、間違う場合もあるでしょう。
それに、フレーゲ、チャーチの場合は（ラインハルトは知らないが）、
公理系の矛盾と言うより、言語そのものに内在したパラドクスと言うべきと
思うのだが。
3次元空間で4つの基底を指定されたときにはすぐに独立でないと察知できる
わけだが、公理系の場合も或る程度それに似たことができるのではないかな？
少し前に議論されていたACなんかも、ACを一見しただけで、ZFからはそれ
（あるいはその否定）が出てくるはずはないと察知できるよね？
上下前次1-新書関写板覧索設栞歴
あと 313 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.080s*