13/08/11 NY:AN:NY.AN
>>284
そのリンクの先では{x| not x∈x}がパラドックスを生むといってるわけだが
URLﾘﾝｸ(upload.wikimedia.org)
まあ、人はいつか死ぬのは恐らく確かだろう
>>293
ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当
つまりZF-FAがラッセルパラドックスを導くのならZFも逃れられない
そもそもZF-FAがラッセルパラドックスを認めるなんて言ってない訳だが
13/08/11 NY:AN:NY.AN
>>284
そのリンクの先では{x| not x∈x}がパラドックスを生むといってるわけだが
URLﾘﾝｸ(upload.wikimedia.org)
まあ、人はいつか死ぬのは恐らく確かだろう
>>293
ある公理系である論理式が証明されたなら、公理を増やしてもその証明は妥当
つまりZF-FAがラッセルパラドックスを導くのならZFも逃れられない
そもそもZF-FAがラッセルパラドックスを認めるなんて言ってない訳だが