Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Descargar
¡Más rápido que el navegador!
 

Teoría de conjuntos de Von Neumann-Bernays-Gödel

Índice Teoría de conjuntos de Von Neumann-Bernays-Gödel

La teoría de conjuntos de von Neumann-Bernays-Gödel (denotada NBG) es una teoría de conjuntos axiomática.

26 relaciones: Axioma de elección, Axioma de extensionalidad, Axioma de regularidad, Axioma de unión, Axioma del conjunto potencia, Axioma del conjunto vacío, Axioma del infinito, Axioma del par, Axiomas de Zermelo-Fraenkel, Clase (teoría de conjuntos), Complemento de un conjunto, Concepto primitivo, Conjunto inductivo, Conjunto universal, Dominio de una función, Esquema axiomático de reemplazo, Función (matemática), Imagen (matemática), Intersección de conjuntos, Número ordinal (teoría de conjuntos), Par ordenado, Producto cartesiano, Relación binaria, Teoría de conjuntos, Teoría de conjuntos de Morse-Kelley, Tupla.

Axioma de elección

En teoría de conjuntos, el axioma de elección (o axioma de escogencia), es un axioma que postula que para cada familia de conjuntos no vacíos, existe otro conjunto que contiene un elemento de cada uno de aquellos.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Axioma de elección · Ver más »

Axioma de extensionalidad

En teoría de conjuntos, el axioma de extensionalidad es un axioma que establece que dos conjuntos son iguales si y solo si tienen los mismos elementos.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Axioma de extensionalidad · Ver más »

Axioma de regularidad

En teoría de conjuntos, el axioma de regularidad o axioma de fundación es un axioma que postula que ciertos conjuntos «patológicos», como por ejemplo un conjunto que se contenga a sí mismo como elemento, no pueden existir.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Axioma de regularidad · Ver más »

Axioma de unión

En teoría de conjuntos, el axioma de unión es un axioma que postula que la unión de una colección de conjuntos cualquiera existe.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Axioma de unión · Ver más »

Axioma del conjunto potencia

En teoría de conjuntos, el axioma del conjunto potencia es un axioma que postula la existencia del conjunto potencia de cualquier conjunto; es decir, del conjunto de todos los subconjuntos de un conjunto dado.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Axioma del conjunto potencia · Ver más »

Axioma del conjunto vacío

En teoría de conjuntos, el axioma del conjunto vacío es un axioma que postula la existencia de un conjunto vacío, es decir, un conjunto sin elementos.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Axioma del conjunto vacío · Ver más »

Axioma del infinito

En teoría de conjuntos, el axioma del infinito es un axioma que garantiza la existencia de un conjunto con un número infinito de elementos.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Axioma del infinito · Ver más »

Axioma del par

En teoría de conjuntos, el axioma del par es un axioma que asegura la existencia de un conjunto que contiene como elementos dos objetos cualesquiera dados previamente.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Axioma del par · 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!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Axiomas de Zermelo-Fraenkel · Ver más »

Clase (teoría de conjuntos)

En teoría de conjuntos, lógica de clases y sus aplicaciones en matemáticas, una clase es una familia de conjuntos o colección de conjuntos (u otros objetos matemáticos) que no necesariamente es un conjunto.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Clase (teoría de conjuntos) · Ver más »

Complemento de un conjunto

El complemento de un conjunto o conjunto complementario es otro conjunto que contiene todos los elementos que no están en el conjunto original.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Complemento de un conjunto · Ver más »

Concepto primitivo

En lógica, un concepto primitivo, concepto básico, concepto fundamental o noción primitiva es un concepto no definido en un contexto determinado.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Concepto primitivo · Ver más »

Conjunto inductivo

Conjunto inductivo es como se denomina, en matemática, a un subconjunto de los números reales que cumple las siguientes propiedades: Un conjunto no inductivo es aquel en el cual no se cumple que un número «1» elemento de un conjunto sumado con otro número «k» elemento del mismo conjunto den como resultado un número «1 + k» elemento del conjunto.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Conjunto inductivo · Ver más »

Conjunto universal

En matemáticas, principalmente en teoría de conjuntos y lógica de clases, un conjunto universal es un conjunto formado por todos los objetos de estudio en un contexto dado.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Conjunto universal · Ver más »

Dominio de una función

En matemáticas, el dominio (conjunto de definición o conjunto de partida) de una función f:X\to Y es el conjunto de existencia de ella misma, es decir, los valores para los cuales la función está definida.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Dominio de una función · Ver más »

Esquema axiomático de reemplazo

En teoría de conjuntos, el esquema axiomático de reemplazo o axioma de reemplazo es un esquema axiomático —una cierta colección de axiomas— que postula que la imagen de un conjunto por una función definida a través de una fórmula es también un conjunto.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Esquema axiomático de reemplazo · Ver más »

Función (matemática)

En matemática, se dice que una magnitud es función de otra si el valor de la primera depende del valor de la segunda.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Función (matemática) · Ver más »

Imagen (matemática)

En matemáticas, la imagen, campo de valores o rango de una función f \colon X \to Y \,, también llamada la imagen de X bajo f, es el conjunto contenido en Y formado por todos los valores que puede llegar a tomar la función.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel e Imagen (matemática) · Ver más »

Intersección de conjuntos

En teoría de conjuntos, la intersección de dos (o más) conjuntos es una operación que resulta en otro conjunto que contiene los elementos comunes a los conjuntos partida.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel e Intersección de conjuntos · Ver más »

Número ordinal (teoría de conjuntos)

En teoría de conjuntos, un número ordinal, o simplemente ordinal, es un representante del tipo de orden de un conjunto bien ordenado.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Número ordinal (teoría de conjuntos) · Ver más »

Par ordenado

En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se distingue un elemento y otro.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Par ordenado · Ver más »

Producto cartesiano

En matemáticas, el producto cartesiano de dos conjuntos es una operación, que resulta en otro conjunto, cuyos elementos son todos los pares ordenados que pueden formarse de forma que el primer elemento del par ordenado pertenezca al primer conjunto y el segundo elemento pertenezca al segundo conjunto.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Producto cartesiano · 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!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Relación binaria · 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!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Teoría de conjuntos · Ver más »

Teoría de conjuntos de Morse-Kelley

La teoría de conjuntos de Morse-Kelley (MK) es una teoría axiomática de conjuntos.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Teoría de conjuntos de Morse-Kelley · Ver más »

Tupla

En matemáticas, una tupla o upla es una lista (secuencia) ordenada y finita de elementos.

¡Nuevo!!: Teoría de conjuntos de Von Neumann-Bernays-Gödel y Tupla · Ver más »

Redirecciona aquí:

Axiomas de Von Neumann-Bernays-Godel, Axiomas de Von Neumann-Bernays-Gödel, Teoria de conjuntos de Neumann-Bernays-Godel, Teoría de conjuntos de Neumann-Bernays-Gödel, Teoría de conjuntos de Von Neumann–Bernays–Gödel.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »