Text this: Logicism, intuitionism, and formalism :