Category:Consistency of Logical Formulas has Finite Character