Model-theoretic semantics ('true in all models') conflicts with standard mathematical practice of re...
This proposition has not been edited since the history system was added.