We can semantically recognize formulas as valid through model-theoretic means even when no proof exi...
This proposition has not been edited since the history system was added.