root
solution
equationlike
recursive
simultaneous equations
unknown
plug into
plug in
extension
perturb
unknown quantity
model
reduce
formularize
counterextension
truth value
formularise
complement
exponential equation
NOT operator
truthset
formulate
deoptimize
develop
elicit
NOT
recurrence relation
multiequational
pro-sentence
algebraic variety
renorming
anaphora
cookbookish
linear algebra
illustrate
instance
formulaically
exemplify
fixed point
nonlinear
affine transformation
and
explanans
setlike
logistic
contragredient
out-of-band
Herbrandization
parenthesis-free notation
primitive
cogredient
sentential function
valuation function
clausifier
solve
misinterpolate
equalizer
permutation
pseudovariable
-hood
extrapolation
exemplifying
multiformula
overcomplete
absolute
retraditionalization
transformation
illustrative
Skolemization
reframe
order of operations
antiset
reduction
nonequation
factoring
calcular
factorisation
factorization
cofunction
undercomplete
phraseology
contradiction in terms
hardcoded
Cramer's rule
Kantor-Koecher-Tits construction
assignment
prime formula
complementation
contradiction
assign
formal logic
clausify
interchangeable
inlier
material conditional
concept
rationalization