Existen enunciados de las ciencias formales que se justifican deductivamente: se parte de ciertas premisas y se llaga a una conclusión. En otros casos, se parte de ciertos enunciados (no cualquier premisa, sino determinados enunciados) y se deducen otros a través de cadenas deductivas o demostraciones. Si no tomáramos ciertos enunciados como puntos de partida, caeríamos en una regresión al infinito, en una explicación circular: para justificar p apelaríamos a r, y para justificar r apelaríamos a s, y así sucesivamente. Para evitar esto, se utilizan enunciados sin justificar, los axiomas o postulados.
Trabajo basado en un clásico texto de Alicia Gianella.