1. logic A finite sequence of well-formed formulas, F1,

F2, ... Fn, where each Fi either is an axiom, or follows by

some rule of inference from some of the previous F's, and Fn

is the statement being proved.