sentence

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

카테고리: