Quantified predicates like 'for all x, F(x)' logically require a prior domain and membership relatio...
This proposition has not been edited since the history system was added.