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

¿Cómo se llama el axioma que garantiza la existencia de \( \{a,b\} \) para cualesquiera \( a \) y \( b \)?

Elige una opción.

Ver respuesta
  • D. Axioma del par

Explicación

El axioma del par asegura que el conjunto con exactamente esos dos elementos existe.

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-001 ZW-AXIOMAS-ZERMELO-FRAENKEL-003 →