Argumentos en favor de los axiomas

* Son necesarios para la ciencia.

* Nos permiten recuperar la teora de Cantor y Dedekind sin las paradojas.
En esta defensa los axiomas son evaluados en trminos de sus consecuencias, en trminos del tipo de
teora que producen.
Justificaciones intrnsecas y extrnsecas
* El axioma de extensin podra ser analtico (intrnseca )
En nuestro caso, el punto se podra poner de esta manera: si, si alguien niega el axioma de
extensionalidad, podramos estar inclinados a decir que ella est usando la palabra "conjunto" de
manera diferente del resto de nosotros.
La justificacin del axioma de extensin debe ser semejante a la justificacin de aceptar enunciados
analticos. ( extrinseca ya que no procede de las consecuencias del axioma).
* La versin extensional de conjuntos es ms sencilla que la intencional (intrinseca).
2.- Conjunto vaci.
* El conjunto vaco es una entidad ficticia aadida por comodidad. Conduce a una teora ms viable
(justificacin extrnseca) .
* El conjunto vaco es necesario para comenzar una construccin. (extrinsico, se adopta para poder
sontruir el suelo terico).