L's internal logic is consistent; external theorems about L don't contradict L's self-conception, on...
This proposition has not been edited since the history system was added.