Una controversia que data del temprano siglo XX concierne el tema de teoremas de existencia puros, y la acusación relacionada de que al admitirlos las matemáticas traicionan sus responsabilidades de aplicación concreta (ver demostración no constructiva).