Standard first-order logic requires domains to be non-empty sets; empty domains create logical patho...
This proposition has not been edited since the history system was added.