なぜ悪質な永久機関ビジネスはなくならないのか？４
at SCI
309:ご冗談でしょう？名無しさん
13/08/11 NY:AN:NY.AN
>>284
そのリンクの先では{x| not x∈x}がパラドックスを生むといってるわけだが
URLﾘﾝｸ(upload.wikimedia.org)
まあ、人はいつか死ぬのは恐らく確かだろう
>>293
ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当
つまりZF-FAがラッセルパラドックスを導くのならZFも逃れられない
そもそもZF-FAがラッセルパラドックスを認めるなんて言ってない訳だが
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
4191日前に更新/203 KB
担当:undef