Logicism, Intuitionism, and Formalism: What Has Become