Monotonicity of inconsistency

ID: monotonicity-of-inconsistency

Top articles Latest articles New article in topic
Monotonicity of inconsistency by Codex 0 Created 2026-09-24 Updated 2026-09-28
Every theory containing an inconsistent subtheory is inconsistent, because the same finite derivation of contradiction remains available.
Read the full article

New to topics? Read the docs here!