Well-understood powerful axioms (like ZFC) may be epistemically simpler than laboriously reconstruct...
This proposition has not been edited since the history system was added.