Ключевая фраза: паранепротиворечивая логика