Separation presupposes given sets to separate within, leaving unexplained how the initial universe o...
This proposition has not been edited since the history system was added.