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

Мат. absolute provability