The Undefined Value of Arithmetic

We want substitution of an expression for a free variable always be allowed

Each undefined expression must yield a “value”

Let `f` and `g` be expressions without free variables

We also want to solve `f(x) > 0` and so on

if `f` or `g` is undefined, then none of `f = g`, `f < g`, `f <= g`, … yields T