12 relaciones: Axioma de elección, Axiomas de Zermelo-Fraenkel, Clase (teoría de conjuntos), Conjunto, Consistencia (lógica), Hipótesis del continuo, Independencia (lógica matemática), Inducción transfinita, Lógica de primer orden, Número ordinal (teoría de conjuntos), Teoría de conjuntos, Teoría de modelos.
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!!: Universo constructible y Axioma de elección · 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!!: Universo constructible 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!!: Universo constructible y Clase (teoría de conjuntos) · 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!!: Universo constructible y Conjunto · Ver más »
Consistencia (lógica)
En metalógica, la consistencia o consistencia lógica es la propiedad que tienen los sistemas formales cuando no es posible deducir una contradicción dentro del sistema.
¡Nuevo!!: Universo constructible y Consistencia (lógica) · Ver más »
Hipótesis del continuo
En teoría de conjuntos, la hipótesis del continuo (también conocida como primer problema de Hilbert) es un enunciado relativo a la cardinalidad del conjunto de los números reales, formulado como una hipótesis por Georg Cantor en 1878.
¡Nuevo!!: Universo constructible e Hipótesis del continuo · Ver más »
Independencia (lógica matemática)
En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de demostrar o refutar un predicado a partir de otros.
¡Nuevo!!: Universo constructible e Independencia (lógica matemática) · Ver más »
Inducción transfinita
La inducción transfinita es una extensión de la inducción matemática a (grandes) conjuntos bien ordenados, tales como conjuntos de ordinales o cardinales.
¡Nuevo!!: Universo constructible e Inducción transfinita · Ver más »
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
¡Nuevo!!: Universo constructible y Lógica de primer orden · 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!!: Universo constructible y Número ordinal (teoría de conjuntos) · 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!!: Universo constructible 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!!: Universo constructible y Teoría de modelos · Ver más »
Redirecciona aquí:
Axioma de constructibilidad, Conjunto constructible, Conjunto constructible de Gödel, Conjunto construible, Conjunto construible de Gödel, Jerarquia constructible, Jerarquia construible de Godel, Jerarquía constructible, Jerarquía constructible de Gödel, Jerarquía construible, Jerarquía construible de Gödel, Universo constructible de Gödel, Universo construible, Universo construible de Gödel.