A syntax technique related to the notion of Δ₁ term is demonstrated by means of its applications to Boolean-valued analysis. As an example, the following question is considered: Which of the classical approaches to the definition of the field R of reals and which Boolean algebras provide the explicit inclusion of R^ in R inside the Boolean-valued universe V(B)?