Underlying logical laws like non-contradiction are preconditions for any reasoning system, not speci...
This proposition has not been edited since the history system was added.