Muchas partes de la matemática están axiomatizadas, lo que significa que existe un conjunto de axiomas de los cuales es posible deducir todas las verdades de esa parte de la matemática.