ZFが無矛盾なのか気になって夜も眠れない・・・ぐぅ・・・