0006132人目の素数さん垢版2019/02/12(火) 22:34:47.68ID:L+lNbukK なんらかのメタ理論で定義された1階述語論理のドメインとしてVを定義することはできるが、 それが本当にVである保証は無い、ということだろうか