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

Axiomas de Peano

Índice Axiomas de Peano

Los axiomas de Peano o postulados de Peano son un sistema de axiomas de segundo orden para la aritmética ideados por el matemático Giuseppe Peano en el, para definir los números naturales.

28 relaciones: Adición (matemática), Aritmética, Axioma, Big Bang, Cero, Completitud (lógica), Concepto primitivo, Conjunto, Conjunto bien ordenado, Consistencia (lógica), Definición (matemática), Dos, Función (matemática), Giuseppe Peano, Inducción matemática, Interpretación (lógica), Lógica de primer orden, Lógica de segundo orden, Número natural, Números pares e impares, Progresión aritmética, Signo igual, Sistema axiomático, Sucesión (matemática), Sucesor, Teoría de modelos, Teoría de números, Uno.

Adición (matemática)

La adición o suma es la operación matemática de composición que consiste en combinar o añadir dos números o más para obtener una cantidad final o total.

¡Nuevo!!: Axiomas de Peano y Adición (matemática) · Ver más »

Aritmética

La aritmética (del lat. arithmetĭcus, derivado del gr. ἀριθμητικός, a partir de ἀριθμός, «número») es la rama de la matemática cuyo objeto de estudio son los números y las operaciones elementales hechas con ellos: adición, sustracción, multiplicación y división.

¡Nuevo!!: Axiomas de Peano y Aritmética · Ver más »

Axioma

Axioma es una proposición tan clara y evidente que se admite sin demostración.

¡Nuevo!!: Axiomas de Peano y Axioma · Ver más »

Big Bang

En cosmología, se entiende por Big Bang, o Gran Explosión en español, al comienzo del universo, es decir, el punto inicial en el que se formó la materia, el espacio y el tiempo.

¡Nuevo!!: Axiomas de Peano y Big Bang · Ver más »

Cero

El cero (0) es un numeral de la propiedad par.

¡Nuevo!!: Axiomas de Peano y Cero · Ver más »

Completitud (lógica)

En metalógica, la completitud o completitud semántica es la propiedad metateórica que tienen los sistemas formales cuando todas las fórmulas lógicamente válidas (todas las verdades lógicas) del sistema son además teoremas del sistema.

¡Nuevo!!: Axiomas de Peano y Completitud (lógica) · 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!!: Axiomas de Peano y Concepto primitivo · 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!!: Axiomas de Peano y Conjunto · Ver más »

Conjunto bien ordenado

En teoría de conjuntos, un conjunto bien ordenado es un conjunto no vacío totalmente ordenado tal que todo subconjunto no vacío tiene un elemento mínimo.

¡Nuevo!!: Axiomas de Peano y Conjunto bien ordenado · 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!!: Axiomas de Peano y Consistencia (lógica) · Ver más »

Definición (matemática)

En matemática, definición, en términos generales, es delimitar, o sea, indicar, expresar el límite que separa un objeto de todos los demás.

¡Nuevo!!: Axiomas de Peano y Definición (matemática) · Ver más »

Dos

El dos (2) es el número natural que sigue al uno y precede al tres.

¡Nuevo!!: Axiomas de Peano y Dos · 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!!: Axiomas de Peano y Función (matemática) · Ver más »

Giuseppe Peano

Giuseppe Peano (Spinetta, 27 de agosto de 1858 - Turín, 20 de abril de 1932) fue un matemático, lógico y filósofo italiano, conocido por sus contribuciones a la lógica matemática y la teoría de números.

¡Nuevo!!: Axiomas de Peano y Giuseppe Peano · Ver más »

Inducción matemática

En matemáticas, la inducción es un razonamiento que permite demostrar proposiciones que dependen de una variable n\, que toma una infinidad de valores enteros.

¡Nuevo!!: Axiomas de Peano e Inducción matemática · Ver más »

Interpretación (lógica)

En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fórmulas bien formadas de un lenguaje formal.

¡Nuevo!!: Axiomas de Peano e Interpretación (lógica) · 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!!: Axiomas de Peano y Lógica de primer orden · Ver más »

Lógica de segundo orden

Una lógica de segundo orden es una extensión de una lógica de primer orden en la que se añaden variables que representan propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables.

¡Nuevo!!: Axiomas de Peano y Lógica de segundo orden · 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!!: Axiomas de Peano y Número natural · Ver más »

Números pares e impares

En matemáticas, un número par es un número entero que es divisible entre dos.

¡Nuevo!!: Axiomas de Peano y Números pares e impares · Ver más »

Progresión aritmética

En matemáticas, una progresión aritmética es una sucesión de números tales que la diferencia de cualquier par de términos sucesivos de la secuencia es constante, dicha cantidad llamada «diferencia de la progresión», «diferencia» o incluso «distancia».

¡Nuevo!!: Axiomas de Peano y Progresión aritmética · Ver más »

Signo igual

El símbolo ".

¡Nuevo!!: Axiomas de Peano y Signo igual · Ver más »

Sistema axiomático

En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.

¡Nuevo!!: Axiomas de Peano y Sistema axiomático · Ver más »

Sucesión (matemática)

En análisis matemático y en álgebra, una sucesión es una secuencia de números u otros objetos matemáticos relacionados entre sí, en la que se tiene en cuenta la posición relativa de cada número respecto del anterior.

¡Nuevo!!: Axiomas de Peano y Sucesión (matemática) · Ver más »

Sucesor

En matemática, dado un número n perteneciente a algún sistema de numeración, conjunto numérico, serie matemática, o sucesión, se llama el sucesor de n al número que sucede a n según la ordenación en la cual están ordenados los números en ese sistema.

¡Nuevo!!: Axiomas de Peano y Sucesor · 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!!: Axiomas de Peano y Teoría de modelos · Ver más »

Teoría de números

La teoría de números es la rama de las matemáticas que estudia las propiedades de los números, en particular los enteros, pero más en general, estudia las propiedades de los anillos de números: anillos íntegros que contienen a \mathbb a través de un morfismo finito e inyectivo \mathbb \hookrightarrow A. Contiene una cantidad considerable de problemas que podrían ser comprendidos por "no matemáticos".

¡Nuevo!!: Axiomas de Peano y Teoría de números · Ver más »

Uno

El uno (1) o su apócope un son el primer o segundo —tema en discusión— número natural y es el número entero que sigue al cero (0) y precede al dos (2).

¡Nuevo!!: Axiomas de Peano y Uno · Ver más »

Redirecciona aquí:

Aritmetica de Peano, Aritmética de Peano, Axiomas de peano, Postulados de Peano.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »