ID:L+lNbukKVに∀x(x∈V←→x=x)と形式的定義を与えても、Vがxの動く範囲にない2階以上の対象としてとらえないとZFCと矛盾するし、純粋にメタ言語としての1階述語論理はVを扱えないことになるのでは※このページは、『2ちゃんねる』の書き込みを基に自動生成したものです。オリジナルはリンク先の2ちゃんねるの書き込みです。※このサイトでオリジナルの書き込みについては対応できません。※何か問題のある場合はメールをしてください。