In mathematics, a formal system[?] is said to be consistent if none of its proven theorems can also be disproven within that system. Or, alternatively, if the formal system does not assign both true and false as the semantics of one given statement.
... After holding the chair of philosophy at Halle for two years, he became, in 1833, professor at the university of Königsberg[?], where he remained till his death. In ...