Thus it became a challenge to formulate a philosophical theory of mathematics that was free of platonistic elements. In the first decades of the twentieth century, three non-platonistic accounts of mathematics were developed: logicism, formalism, and intuitionism. There emerged in the beginning of the twentieth century also a fourth program: predicativism.