Ejercicio · ZW-AXIOMAS-ZERMELO-FRAENKEL-007 · ★★☆ Intermedio

¿Cuál de estas afirmaciones sobre la regularidad es correcta?

Elige una opción.

Ver respuesta
  • C. Ningún conjunto puede pertenecerse a sí mismo.

Explicación

La regularidad excluye que un conjunto sea miembro de sí mismo y, en general, impide cadenas de pertenencia infinitas descendentes. Las demás afirmaciones son falsas en general.

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-006 ZW-AXIOMAS-ZERMELO-FRAENKEL-008 →