Изменения

Число <tex> \alpha </tex> вычислимо тогда и только тогда, когда множество <tex>A = \{x \in Q \mid x < \alpha \} </tex>, разрешимо.