First-order logic permits unrestricted quantification over semantic domains while remaining consiste...
This proposition has not been edited since the history system was added.