Logicism, Intuitionism, And Formalism door S. Et Al Lindstrom