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

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
309
(1): 2013/08/11(日) NY:AN:NY.AN ID:??? AAS
>>284
そのリンクの先では{x| not x∈x}がパラドックスを生むといってるわけだが
画像リンク[png]:upload.wikimedia.org
まあ、人はいつか死ぬのは恐らく確かだろう

>>293
ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当
つまりZF-FAがラッセルパラドックスを導くのならZFも逃れられない

そもそもZF-FAがラッセルパラドックスを認めるなんて言ってない訳だが
1-
あと 454 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.008s