ZFC's intended semantics need not require a background theory; the axioms directly constrain what co...
This proposition has not been edited since the history system was added.