Пример использования $\Delta_1$-термов в булевозначном анализе

Демонстрируется использование в булевозначном анализе синтаксической техники, связанной с понятием $\Delta_1$-терма. В качестве примера рассмотрен вопрос о том, какие подходы к определению числового поля $\mathbb R$ и какие полные булевы алгебры $B$ обеспечивают явное включение $\mathbb R^\land\subset\mathbb R$ внутри булевозначного универсума $\mathbb V^{(B)}$.