Mathematical truths are tautological yet substantive—they reveal real structural facts about reality...
This proposition has not been edited since the history system was added.