このページに関してのお問い合わせはこちら
なぜ悪質な永久機関ビジネスはなくならないのか?4
ツイート
366
:
ご冗談でしょう?名無しさん
:
2013/08/16(金) NY:AN:NY.AN ID:JssZS/bt
>>343
>ZF-FAで証明できるって事はつまりZFで基礎の公理を使わずに証明できるって事ですよ
ZFで基礎の公理を使わない?
それ、公理的集合論じゃねーと何度言ってもスルーしてるよな?
よな?
ラッセル集合を認める公理系は公理的集合論とは呼ばない