sentence

in mathematical logic, a well-formed formula with no free variables

Категории: