Ejercicio · ZW-AXIOMAS-ZERMELO-FRAENKEL-008 · ★★☆ Intermedio
¿Qué axioma permite definir una función cuya imagen es un conjunto a partir de una fórmula aplicada a un conjunto?
Elige una opción.
Ver respuesta
- B. Axioma de reemplazo
Ejercicio · ZW-AXIOMAS-ZERMELO-FRAENKEL-008 · ★★☆ Intermedio
Elige una opción.
El reemplazo asegura que la imagen de un conjunto bajo una operación definible sigue siendo un conjunto. El axioma del par solo forma conjuntos con dos elementos.
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-007 ZW-AXIOMAS-ZERMELO-FRAENKEL-009 →