The notion of implicit commitments of arithmetical theories has received some recent interest in the literature. However, current accounts lack a full understanding of: (1) what, mathematically, implicit commitments consist of, and (2) the epistemological force of the commitment of implicit commitments. This dissertation aims to provide a thorough account of (1) and (2).