Implicit Commitments Of Theories Of Arithmetic