In axiomatic theories, contradiction means that statement and its inverse are true. If no theorem can contradict any axiom or theorem {consistency, mathematics}, statements and their inverses cannot both be true. Inconsistent theories have proofs that start with axiom or theorem and lead to inverse and so contradiction.
Mathematical Sciences>Mathematics>Axiomatic Theory
3-Mathematics-Axiomatic Theory
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224