Ejercicio · ZW-AXIOMAS-ZERMELO-FRAENKEL-003 · ★☆☆ Básico

¿Qué axioma garantiza la existencia de un conjunto que contiene al vacío y es cerrado bajo el sucesor?

Elige una opción.

Ver respuesta
  • C. Axioma del infinito

Explicación

El axioma del infinito asegura un conjunto inductivo, que contiene al vacío y es cerrado bajo sucesor. El axioma del vacío solo asegura la existencia del conjunto vacío.

Estudiar Teoría de conjuntos en ZWMath →

Repasa el concepto: Axiomas de Zermelo-Fraenkel

Los axiomas de Zermelo-Fraenkel (ZF) son el sistema estándar de axiomas de la teoría de conjuntos, formulado en lógica de primer orden.

\[\forall x\,\forall y\,(\forall z\,(z\in x \leftrightarrow z\in y)\rightarrow x=y)\]

Más ejercicios de axiomas de zermelo-fraenkel

← ZW-AXIOMAS-ZERMELO-FRAENKEL-002 ZW-AXIOMAS-ZERMELO-FRAENKEL-004 →