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.
... uses of the term, the most common include:
1. A supporter of King Charles I of England during the English Civil War.
2. In the UK, a believer in the continu ...