Classical logic and intuitionistic logic treat these principles differently, showing their relations...
This proposition has not been edited since the history system was added.