なぜ悪質な永久機関ビジネスはなくならないのか？４

>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない

メコスジ伝

知らんがな

プロ市民（国籍不問w）ガチ推しの飛翔体キムチ太郎当選で未来はピカドン明るいね

http://www.hoshusokuhou.com/archives/29932855.html

>>274
ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
x∈xである集合xが存在するかどうかとは関係ない

そもそも公理を減らしたら証明可能な論理式が減るだけ
新たに矛盾が導かれるわけが無い

>>278
＞ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる

死亡確定だよお前ＷＷＷＷＷＷＷＷ
ラッセル集合は{x|x∈x}
{x| not x∈x}はその否定
つまりラッセルのパラドックスが成り立たないことＷＷＷＷＷＷ


＞x∈xである集合xが存在するかどうかとは関係ない

0点

>>278
＞そもそも公理を減らしたら証明可能な論理式が減るだけ
＞新たに矛盾が導かれるわけが無い


0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかＷＷＷＷＷＷ

>>271
>>268の書き込みがかなり痛いんだけど
それ自体わかってない所を見ると
シミュレーションの経験と知識はほぼ皆無でしょう、これは
想定の範囲内だったけど

条件>>131-133、>>261

低脳敗北まであと2日

>>279
死亡確定ですか
http://en.wikipedia.org/wiki/Russell's_paradox
http://mathworld.wolfram.com/RussellsAntinomy.html
http://plato.stanford.edu/entries/russell-paradox/
http://www.scientificamerican.com/article.cfm?id=what-is-russells-paradox

>>280
今更言うまでもない気もするが
論理を全く理解していないね

ボクのミニ四駆は永久機関で動いているよ

>>282
お前が死亡確定なんだよ
アドレス貼ってなんか意味あるのか？ん？

>>282
フレーゲの集合論知らないの？バカなの？ん？

>>281
査読論文貼れなかったお前は既に敗北してるんだよ
負けてから何足掻いてんの？ん？

>>282
＞今更言うまでもない気もするが
＞論理を全く理解していないね

なんでラッセルのパラドックスすら知らなかったの？
生きてる意味ある？

>>278
＞そもそも公理を減らしたら証明可能な論理式が減るだけ
＞新たに矛盾が導かれるわけが無い


0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかＷＷＷＷＷＷ

素朴集合論は矛盾だらけで使えないから公理を追加して抑え込んだのになＷＷＷＷＷＷＷＷＷ

頭弱いからわからなかったかＷＷＷＷＷＷ