Abstraction principles like Hume's principle derive numbers from logical relations without presuppos...
This proposition has not been edited since the history system was added.