Logicism, Intuitionism, and Formalism