decidable proposition

Мат. разрешимое утверждение