sentential function: formal expression containing variables; becomes a sentence when variables are replaced by constants
formula: a group of symbols that make a mathematical statement
synthesist: an intellectual who synthesizes or uses synthetic methods