The empty set has determinate properties (cardinality zero, subset relations) independent of human m...
This proposition has not been edited since the history system was added.