>>129
へえ、正則性公理で載ってるか
基礎の公理の名は無いのか
大学で集合論教えてる奴にも中卒がいっぱいだな
http://www.google.co.jp/search?q=%E5%9F%BA%E7%A4%8E%E3%81%AE%E5%85%AC%E7%90%86

こっちは整礎性公理と呼んでたのね
http://researchmap.jp/mu1x9nhhd-21099/?action=multidatabase_action_main_filedownload&;download_flag=1&upload_id=40760&metadata_id=12105

>>130
∀x(not x∈x)　はZF集合論では定理だが型理論では文法違反
これを数学的に同値と言うのかね？
君の「数学的に同値」とか「内包」とはどういう意味かね？