La distinción entre demostraciones formales e informales ha llevado a examinar la lógica matemática histórica y actual, el cuasi-empirismo matemático y el formalismo matemático.