Text this: Logicism, Intuitionism, and Formalism