なぜ悪質な永久機関ビ ..
114:ご冗談でしょう？名無しさん
13/08/04 NY:AN:NY.AN
>>110
「x∈x」は型理論では文法違反で論理式ではない
ZF集合論では論理式として認められて基礎の公理に矛盾する
ZFから基礎の公理を除けばx∈xなるxが存在しても(ZFCが無矛盾なら)矛盾しないことが引用先の資料の後半部分
>>111
たまには君が論文持って来てはどうかね？
岩波数学辞典も引けない底辺未満には無理かね？
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
4191日前に更新/203 KB
担当:undef