ZFは無矛盾かどうか決まってるけど分からないのと同じ?