If two formal systems are equally expressive, choosing one signals a substantive metaphysical commit...
This proposition has not been edited since the history system was added.