>>190
ZFCなんか直観的な論理を厳密に書いただけなんだから
論理が通ってると自分で確信できればそんな無意味な確認は不要だろ