13/08/06 06:56:23.10
>>129
へえ、正則性公理で載ってるか
基礎の公理の名は無いのか
大学で集合論教えてる奴にも中卒がいっぱいだな
URLﾘﾝｸ(www.google.co.jp)
こっちは整礎性公理と呼んでたのね
URLﾘﾝｸ(researchmap.jp)
>>130
∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
これを数学的に同値と言うのかね？
君の「数学的に同値」とか「内包」とはどういう意味かね？
13/08/06 06:56:23.10
>>129
へえ、正則性公理で載ってるか
基礎の公理の名は無いのか
大学で集合論教えてる奴にも中卒がいっぱいだな
URLﾘﾝｸ(www.google.co.jp)
こっちは整礎性公理と呼んでたのね
URLﾘﾝｸ(researchmap.jp)
>>130
∀x(not x∈x) はZF集合論では定理だが型理論では文法違反
これを数学的に同値と言うのかね？
君の「数学的に同値」とか「内包」とはどういう意味かね？