なぜ悪質な永久機関ビジネスはなくならないのか？４

なぜ悪質な永久機関ビジネスはなくならないのか？４ at SCI

240:ご冗談でしょう？名無しさん
13/08/06 NY:AN:NY.AN
>>129
へえ、正則性公理で載ってるか
基礎の公理の名は無いのか
大学で集合論教えてる奴にも中卒がいっぱいだな
URLﾘﾝｸ(www.google.co.jp)

こっちは整礎性公理と呼んでたのね
URLﾘﾝｸ(researchmap.jp)

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

次ページ

続きを表示

1を表示