Виявляється, що для різних синтаксичних властивостей (таких як бути формулою, бути реченням тощо) ці набори є обчислюваними. Крім того, будь-який обчислюваний набір чисел може бути визначений деякою арифметичною формулою.
Зробіть текст більш зв'язним: виявляється, що для різних синтаксичних властивостей (таких як бути формулою, бути реченням тощо) ці набори є обчислюваними. Будь-який обчислюваний набір чисел може бути визначений деякою арифметичною формулою.