A theory can be committed to abstracta (numbers) without those abstracta depending on concrete objec...
This proposition has not been edited since the history system was added.