Second-order logic's semantics require fixing a background universe to determine which sets satisfy ...
This proposition has not been edited since the history system was added.