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