[過去ﾛｸﾞ] なぜ悪質な永久機関ビジネスはなくならないのか？４ (763ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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
そんなんで誤魔化せるとでも思ったのか？ん？
専門分野で教養に負けるとかＷＷＷＷＷＷ
260: 2013/08/07(水) NY:AN:NY.AN ID:4NfkZ753(5/5) AAS
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
261(4): 2013/08/07(水) NY:AN:NY.AN ID:??? AAS
>>139
低脳みたいな厳しいことは言わないので
条件>>131-133
あと、2chで議論する上での常識として
・文献や資料はWeb上にあり制限なく全て読めること
・言語は日本語か英語
が満たされてればいいかな
>>135
一人でほざいてるだけじゃ狂人の戯言と一緒だからね
あれだけ、自説に自信を持ってるのなら文献や資料の提示
省4
262(1): 2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS(1/3) AAS
>>261
>>131
はよ査読論文もってこいゴミ
敗北確定だよ
263: 2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS(2/3) AAS
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
264(1): 2013/08/07(水) NY:AN:NY.AN ID:0XsiKsfS(3/3) AAS
まさか査読論文無しとか？ＷＷＷＷＷＷ
265(1): 261 2013/08/07(水) NY:AN:NY.AN ID:??? AAS
>>262 >>264
あと4日あるから頑張ってな!w
266(1): 2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3(1/4) AAS
>>265
お前とっくに敗北確定だよ
次のレスで査読論文貼れなかったからな
267: 2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3(2/4) AAS
>>131
>>77
＞と矛盾するんだよな
0点
十分性が示されてない
逃げたのか？ん？
はよ査読論文もってこいゴミ
268(4): 2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3(3/4) AAS
CFL条件を満たさない全ての系で
精度が全く落ちない事を証明出来ない限り
十分性が示されてないので主張とは認められない
269(1): 2013/08/07(水) NY:AN:NY.AN ID:??? AAS
キモヲタきゅむ
270: 2013/08/07(水) NY:AN:NY.AN ID:S6GGV4D3(4/4) AAS
>>269
人生の負け犬=低学歴だなWWWWWWW
271(2): 2013/08/07(水) NY:AN:NY.AN ID:zi/YmfOA(1) AAS
>>268
０点
根本的にわかってないなあんたw
272: 2013/08/07(水) NY:AN:NY.AN ID:topIKP2x(1) AAS
>>271
根本的にわかってないのはお前だよ
十分性を理解してない
273: 2013/08/08(木) NY:AN:NY.AN ID:r/izt0mj(1/2) AAS
>>255
＞意味が分からん
＞君の脳内ZF集合論など知らんよ
＞そんな議論してる文献があるなら見せてくれ
>>252
＞＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
>>252
＞＞> (a) 集合論の一階の言語を保持し、包括原理そのものを弱め、公理で定義出来る集合の形をもっとこま
＞＞> めに制限し、ラッセル集合が定義出来ないようにする（公理的集合論）
省15
274(1): 2013/08/08(木) NY:AN:NY.AN ID:r/izt0mj(2/2) AAS
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
275: 2013/08/08(木) NY:AN:NY.AN ID:??? AAS
メコスジ伝
上下前次1-新書関写板覧索設栞歴
あと 488 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s