巨大数探索スレッド15

[0007 １３２人目の素数さん 2019/02/12(火) 22:39:20.72 ID:L+lNbukK]

Vに∀x(x∈V←→x=x)と形式的定義を与えても、Vがxの動く範囲にない2階以上の対象としてとらえないと
ZFCと矛盾するし、純粋にメタ言語としての1階述語論理はVを扱えないことになるのでは