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

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

なぜ悪質な永久機関ビジネスはなくならないのか？４ - 暇つぶし2ch278:ご冗談でしょう？名無しさん
13/08/09 06:48:45.13
>>274
ラッセルのパラドックスは{x| not x∈x}なる集合が存在すると起きる
x∈xである集合xが存在するかどうかとは関係ない

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

次ページ

続きを表示

1を表示