En cours de chargement...
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.