- 240 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/06(火) NY:AN:NY.AN ID:???]
- >>129
へえ、正則性公理で載ってるか
基礎の公理の名は無いのか
大学で集合論教えてる奴にも中卒がいっぱいだな
www.google.co.jp/search?q=%E5%9F%BA%E7%A4%8E%E3%81%AE%E5%85%AC%E7%90%86
こっちは整礎性公理と呼んでたのね
researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&download_flag=1&upload_id=40760&metadata_id=12105
>>130
∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
これを数学的に同値と言うのかね？
君の「数学的に同値」とか「内包」とはどういう意味かね？
