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

なぜ悪質な永久機関ビ ..

72:ご冗談でしょう？名無しさん
13/08/02 NY:AN:NY.AN .net
>>57
型理論は前原昭二「数学基礎論入門」にある程度しか知らない
そこの型理論ではベースの型として1階から始めて
n階の対象のみを要素として持つ集合をn+1階の対象としている
x=P(x)、ｘ≠P(x)、x⊆P(x)、x⊇P(x)は型が整合しないので論理式と認められない
ZFの無限公理でやってるようなx∪{x}も認められない

ZF集合論は型理論とは別の体系だし
君独自の型理論など知る訳がない

次ページ

続きを表示

1を表示