10 relaciones: Axioma, Axiomas de Zermelo-Fraenkel, Bicondicional, Conjunto, Elemento de un conjunto, Igualdad matemática, Relación binaria, Subconjunto, Teoría de conjuntos, Teoría de modelos.
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Axioma de extensionalidad y Axioma · Ver más »
Axiomas de Zermelo-Fraenkel
En lógica y matemáticas, los axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos.
¡Nuevo!!: Axioma de extensionalidad y Axiomas de Zermelo-Fraenkel · Ver más »
Bicondicional
En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.
¡Nuevo!!: Axioma de extensionalidad y Bicondicional · Ver más »
Conjunto
En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.
¡Nuevo!!: Axioma de extensionalidad y Conjunto · Ver más »
Elemento de un conjunto
En teoría de conjuntos, un elemento o miembro de un conjunto (o familia de conjuntos) es un objeto que forma parte de ese conjunto (o familia).
¡Nuevo!!: Axioma de extensionalidad y Elemento de un conjunto · Ver más »
Igualdad matemática
En matemáticas, un enunciado en el que dos expresiones (iguales o distintas) denotan el mismo objeto matemático se llama igualdad matemática.
¡Nuevo!!: Axioma de extensionalidad e Igualdad matemática · Ver más »
Relación binaria
Una relación binaria R es el subconjunto de los elementos del producto cartesiano A_1 \times A_2 \ que cumplen una determinada condición.
¡Nuevo!!: Axioma de extensionalidad y Relación binaria · Ver más »
Subconjunto
es subconjunto de otro conjunto si todos los elementos de pertenecen también a. Decimos entonces que «está contenido» dentro de.
¡Nuevo!!: Axioma de extensionalidad y Subconjunto · Ver más »
Teoría de conjuntos
La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.
¡Nuevo!!: Axioma de extensionalidad y Teoría de conjuntos · Ver más »
Teoría de modelos
En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías axiomáticas y la lógica matemática.
¡Nuevo!!: Axioma de extensionalidad y Teoría de modelos · Ver más »
Redirecciona aquí:
Axioma de extension, Axioma de extensión, Principio de extensionalidad.