Second-order logic can exclude non-standard models, confirming first-order provability alone is insu...
This proposition has not been edited since the history system was added.