Salah satu sekolah pemikiran dalam filsafat matematika, menempatkan sebagainya teori bahwa matematika adalah perpanjangan dari logika dan karena itu semua matematika boleh logic.9 Bertrand Russell dan Alfred North Whitehead diperjuangkan teori ini Sulaiman Gottlob Frege. Frege menyerah pada proyek setelah Russell diakui sebuah paradoks yang mengekspos ketidakkonsistenan dalam teori himpunan naif. Russell dan Whitehead terus dengan proyek dalam masternya Principia mereka.