Демонстрируется использование в булевозначном анализе синтаксической техники, связанной с понятием Δ₁-терма. В качестве примера рассмотрен вопрос о том, какие подходы к определению числового поля R и какие полные булевы алгебры B обеспечивают явное включение R^ в R внутри булевозначного универсума V(B).

Ключевые слова:теория множеств, консервативное расширение, вещественное число, булевозначный анализ, каноническое вложение, σ-дистрибутивная булева алгебра, Σ₁-формула.