なぜ悪質な永久機関ビジネスはなくならないのか？４

なぜ悪質な永久機関ビジネスはなくならないのか？４at SCI

なぜ悪質な永久機関ビジネスはなくならないのか？４ - 暇つぶし2ch258:ご冗談でしょう？名無しさん
13/08/07 NY:AN:NY.AN 4NfkZ753
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない

次ページ