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

このエントリーをはてなブックマークに追加
366ご冗談でしょう?名無しさん
>>343
>ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ

ZFで基礎の公理を使わない?
それ、公理的集合論じゃねーと何度言ってもスルーしてるよな?
よな?
ラッセル集合を認める公理系は公理的集合論とは呼ばない