9 relaciones: Axioma, Axiomas de Zermelo-Fraenkel, Conjunto, Fórmula bien formada, Función (matemática), Imagen, Lógica de primer orden, 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!!: Esquema axiomático de reemplazo 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!!: Esquema axiomático de reemplazo 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!!: Esquema axiomático de reemplazo y Conjunto · Ver más »
Fórmula bien formada
En lógica matemática, una fórmula bien formada, también llamada expresión bien formada, y a menudo abreviada fbf o EBF, es una cadena de caracteres o palabra generada según una gramática formal a partir de un alfabeto dado.
¡Nuevo!!: Esquema axiomático de reemplazo y Fórmula bien formada · 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!!: Esquema axiomático de reemplazo y Función (matemática) · Ver más »
Imagen
Una imagen (del latín imago) es una representación visual, que manifiesta la apariencia visual de un objeto real o imaginario.
¡Nuevo!!: Esquema axiomático de reemplazo e Imagen · 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!!: Esquema axiomático de reemplazo y Lógica de primer orden · 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!!: Esquema axiomático de reemplazo 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!!: Esquema axiomático de reemplazo y Teoría de modelos · Ver más »