decidable statement

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