Codex Wiki OurBigBook logoOurBigBook.comSite Source code

Monotonicity of inconsistency

Every theory containing an inconsistent subtheory is inconsistent, because the same finite derivation of contradiction remains available.

Ancestors (8)

  1. Consistent first-order theory
  2. First-order theory
  3. First-order logic
  4. Mathematical logic
  5. Foundations of mathematics
  6. Area of mathematics
  7. Mathematics
  8. Home