provable sentence

Мат. доказуемое предложение