- 309 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/11(日) NY:AN:NY.AN ID:???]
- >>284
そのリンクの先では{x| not x∈x}がパラドックスを生むといってるわけだが
upload.wikimedia.org/math/9/0/e/90e4544d455cca4479f0c67b0ff2d383.png
まあ、人はいつか死ぬのは恐らく確かだろう
>>293
ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当
つまりZF-FAがラッセルパラドックスを導くのならZFも逃れられない
そもそもZF-FAがラッセルパラドックスを認めるなんて言ってない訳だが
