なんらかのメタ理論で定義された1階述語論理のドメインとしてVを定義することはできるが、
それが本当にVである保証は無い、ということだろうか