Classical logic's principle of explosion makes ordinary contradiction detection impossible in incons...
This proposition has not been edited since the history system was added.