What is the aim of philosophy? There may be too many philosophical branches, traditions, practices, and programs to admit of a single overarching aim. Here, I focus on a fairly traditional philosophical project that has recently received increasingly sophisticated articulation, especially by Frank Jackson (1998) and David Chalmers (2012). In Section 1, I present the project and suggest that it is usefully thought of as ‘total axiomatics’: the project of attempting to axiomatize the total theory of the world. In Section 2, I raise a problem for the project that I call the ‘problem of multiple axiomatizations’. I consider some initially alluring but ultimately unpromising approaches to this problem in Section 3. In Section 4, I defend a surprising approach to the problem, according to which competing axiomatizations of the total theory of the world are effectively evaluated for their aesthetic virtues.