Mientras que los matemáticos tempranos como Eudoxo de Cnidus no usaban demostraciones, a partir de Euclides hasta los desarrollos fundacionales de las matemáticas del tardío siglo XIX y XX, las demostraciones se convirtieron en una parte esencial de las matemáticas.