Logicism, intuitionism, and formalism | lit.salon