absolute provability

Мат. абсолютная доказуемость