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
Ejercicio · ZW-AXIOMAS-ZERMELO-FRAENKEL-003 · ★☆☆ Básico
Elige una opció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.
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.
← ZW-AXIOMAS-ZERMELO-FRAENKEL-002 ZW-AXIOMAS-ZERMELO-FRAENKEL-004 →