[過去ログ] なぜ悪質な永久機関ビジネスはなくならないのか?4 (763レス)
前次1-
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
256: 2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753(1/5) AAS
>>255
>∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

だから?
お前が論破されてる件に全く関係ないんだが?ん?
257: 2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753(2/5) AAS
>>255
>意味が分からん
>君の脳内ZF集合論など知らんよ
>そんな議論してる文献があるなら見せてくれ

>>252
>>>  (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>>   めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
>>252
>>>  (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
>>>   めに制限し、ラッセル集合が定義出来ないようにする(公理的集合論)
省15
258
(1): 2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753(3/5) AAS
>>255
>∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか?ん?
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
259: 2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753(4/5) AAS
そんなんで誤魔化せるとでも思ったのか?ん?
専門分野で教養に負けるとかWWWWWW
260: 2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753(5/5) AAS
>>255
>∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか?ん?
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.026s