Конструктивные и неконструктивные бесконечные формулы в вычислимых моделях