純粋・応用数学・数学隣接分野（含むガロア理論）21 (238ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
222: 08/22(金)19:23 ID:umrs5KmU(1/2) AAS
松尾研を出れば、たちまち企業で一千万、二千万の年収が手に入るからな。
223(2): 08/22(金)19:32 ID:umrs5KmU(2/2) AAS
「無限集合の存在を公理に持たない体系Ｓ」を考えて、
その外側でＳを自然に内包する「無限集合の存在を公理に持つ体系Ｓ'」
を考える。
そうして体系Ｓの中では証明を導くことのできない「体系Ｓ内部での命題」を、
体系Ｓ’の中であれば無限集合の存在を利用して証明ができるとするとき、
果たしてそれは「Ｓ内部の命題」に対しての証明になっているといえるの
だろうか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.020s