La Matemática informal, también llamada matemática ingenua, históricamente, por largo tiempo y en muchas culturas ha sido la forma predominante de la matemática, y es el objeto de estudios modernos ethno-culturales sobre esta ciencia. El filósofo Imre Lakatos, en sus Pruebas y Refutaciones, obra destinada a perfeccionar la formulación de la matemática informal, reconstruye su rol en el siglo XIX, debatiendo y conceptualizandola, en oposición a las suposiciones predominantes de la lógica matemática.[1]​  La informalidad no puede discernirse entre los enunciados dados por elrazonamiento inductivo (cuando en aproximaciones que se consideran "correctas" sólo porque son útiles), y las declaraciones derivadas del razonamiento deductivo.[2]​