ZFCUとか公理系の話してんのに新しい推論規則言ってるのが何とも