A clear discussion of logicism, intuitionism, and formalism.