decidable sentence

Мат. разрешимое высказывание