Bolzano's original substitutional method assumed a fixed, non-empty domain; removing this assumption...
This proposition has not been edited since the history system was added.