Model-specificity doesn't disqualify logical truths; Löwenheim-Skolem theorems also depend on specif...
This proposition has not been edited since the history system was added.