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

Explicació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.

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-007 ZW-AXIOMAS-ZERMELO-FRAENKEL-009 →