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

Universo constructible

En teoría de conjuntos, el universo constructible, también denominado jerarquía constructible o universo constructible de Gödel y que se denota por, es una clase de conjuntos que pueden ser descritos en términos de «conjuntos más simples», los llamados conjuntos constructibles.

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.

¡Nuevo!!: Universo constructible y Conjunto · Ver más »

Consistencia (lógica)

En lógica, la consistencia o consistencia lógica es una propiedad que pueden tener los conjuntos de fórmulas lógicas.

¡Nuevo!!: Universo constructible y Consistencia (lógica) · Ver más »

Hipótesis del continuo

En teoría de conjuntos, la hipótesis del continuo 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

La 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 las matemáticas 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.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »