David Hume (1711-1776) desarrolla el empirismo de Locke reconociendo también el conocimiento de la matemática como independiente de la experiencia y universalmente válido.