Consistency of Logical Formulas has Finite Character/Proof 1