Inconsistency of Logical Formulas has Finite Character