なぜ悪質な永久機関ビジネスはなくならないのか？４at SCI
なぜ悪質な永久機関ビジネスはなくならないのか？４ - 暇つぶし2ch274:ご冗談でしょう？名無しさん
13/08/08 10:38:35.27 r/izt0mj
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが

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

次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch