[過去ログ] なぜ悪質な永久機関ビジネスはなくならないのか?4 (763レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
278
(3): 2013/08/09(金) NY:AN:NY.AN ID:??? AAS
>>274
ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
x∈xである集合xが存在するかどうかとは関係ない

そもそも公理を減らしたら証明可能な論理式が減るだけ
新たに矛盾が導かれるわけが無い
279
(3): 2013/08/09(金) NY:AN:NY.AN ID:??? AAS
>>278
>ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる

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

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

0点
280
(2): 2013/08/09(金) NY:AN:NY.AN ID:Kog3ARrO(1) AAS
>>278
>そもそも公理を減らしたら証明可能な論理式が減るだけ
>新たに矛盾が導かれるわけが無い

0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかWWWWWW
288: 2013/08/10(土) NY:AN:NY.AN ID:AiYZNnAV(5/8) AAS
>>278
>そもそも公理を減らしたら証明可能な論理式が減るだけ
>新たに矛盾が導かれるわけが無い

0点
こいつはフレーゲの集合論に対するラッセルの指摘を全く理解してない
頭弱いからムリなのかWWWWWW
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 1.307s*