First-order logic's expressive limits are precisely what motivate studying extensions; conflating th...
This proposition has not been edited since the history system was added.