La búsqueda sistemática de los fundamentos de las matemáticas empezó al fin del siglo XIX, y formó una disciplina matemática nueva llamada lógica matemática, con fuertes vínculos con la ciencia de la computación teórica.