なぜ悪質な永久機関ビ ..
293:ご冗談でしょう？名無しさん
13/08/10 NY:AN:NY.AN AiYZNnAV
>>255
＞∀x(not x∈x)はZFでは証明できてZF-FAでは証明できないって話なんだが
正則性公理を除いたら公理的集合論にならない
バカなのか？ん？
ラッセルのパラドックスを認めるものを公理的集合論とは呼ばない
次ページ最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
4191日前に更新/203 KB
担当:undef