¡Más rápido que el navegador!
15 relaciones: Axioma, Axioma de elección, Axiomas de Zermelo-Fraenkel, Conjunto, Conjunto inductivo, Conjunto infinito, Conjunto vacío, Función biyectiva, Número natural, Richard Dedekind, Subconjunto, Teoría de conjuntos, Teoría de conjuntos de Von Neumann-Bernays-Gödel, Teoría de modelos, Teoremas de incompletitud de Gödel.
Axioma
Axioma es una proposición tan clara y evidente que se admite sin demostración.
¡Nuevo!!: Axioma del infinito y Axioma · Ver más »
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!!: Axioma del infinito 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!!: Axioma del infinito y Axiomas de Zermelo-Fraenkel · 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 del infinito y Conjunto · 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!!: Axioma del infinito y Conjunto inductivo · Ver más »
Conjunto infinito
En teoría de conjuntos, un conjunto infinito es un conjunto que no es finito.
¡Nuevo!!: Axioma del infinito y Conjunto infinito · Ver más »
Conjunto vacío
Desde principios del, en la matemática, particularmente en la teoría axiomática de Conjuntos de ZF o la teoría intuitiva de conjuntos, el conjunto vacío es el que no posee elemento alguno.
¡Nuevo!!: Axioma del infinito y Conjunto vacío · Ver más »
Función biyectiva
En matemáticas, una función es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; es decir, si todos los elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del conjunto de llegada le corresponde un elemento del conjunto de salida.
¡Nuevo!!: Axioma del infinito y Función biyectiva · Ver más »
Número natural
En matemáticas, un número natural es cualquiera de los números que se usan para contar los elementos de ciertos conjuntos.
¡Nuevo!!: Axioma del infinito y Número natural · Ver más »
Richard Dedekind
Julius Wilhelm Richard Dedekind (6 de octubre de 1831-12 de febrero de 1916) fue un matemático alemán.
¡Nuevo!!: Axioma del infinito y Richard Dedekind · 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 del infinito 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 del infinito y Teoría de conjuntos · Ver más »
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.
¡Nuevo!!: Axioma del infinito y Teoría de conjuntos de Von Neumann-Bernays-Gödel · 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 del infinito y Teoría de modelos · Ver más »
Teoremas de incompletitud de Gödel
Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1931.
¡Nuevo!!: Axioma del infinito y Teoremas de incompletitud de Gödel · Ver más »
