IDEA DE CONTAR IGUALDAD DESIGUALDAD ENTRE NÚMEROS NATURALES.

Al contar un grupo de objetos obtenemos el mismo número, cualquiera que sea el orden en que se
efectúe la operación.

* CONTAR, asignar a cada elemento de un conjunto un número de la sucesión indefinida natural.

*CONTAR ES RELACIONAR EL CONJUNTO DE LOS NÚMEROS NATURALES, La sucesión
indefinida de los números naturales con otro conjunto.

IDEA DE IGUALDAD: Dos grupos o conjuntos de objetos que pueden relacionarse de manera que a
un objeto del primero le corresponda uno del segundo, y viceversa, dan al contarlos el mismo número.
Dos conjuntos cuyos elementos se corresponden uno a uno.
Si al relacionar dos conjuntos A y B a cada uno de los elementos del conjunto A le corresponde un
elemento del conjunto B y viceversa, el numero de elementos que corresponde al conjunto (contar) A
coincidirá con el número de elementos (contados) del conjunto B. Relación de igualdad.

RELACIONES DE IGUALDAD
1º Relacionamos conjuntos (Si se da la condición)--→.

2º relacionamos los elementos de uno de los conjuntos con la sucesión indefinida de los números
naturales. Este numero de elementos será igual en el otro conjunto que no hemos contado, dado a la
propiedad 1º

LA SUCESIÓN DE LOS NÚMEROS NATURALES no tiene fin, carece de último elemento.

Todas las sucesiones que carecen de último elemento se llaman SUCESIONES INDEFINIDAS.
La sucesión fundamental de los números naturales está ordenada de forma creciente.

MAYOR Y MENOR, IDEA DE ORDEN

Si al establecer la correspondencia entre dos conjuntos , sobran elementos en uno u otro se establece
que un conjunto es mayor o menor que el otro.

OBJETO DE LA ARITMÉTICA
La aritmética estudia las propiedades de los grupos de objetos que son independientes de la naturaleza
de estos y puede definirse como la ciencia que estudia las propiedades generales de los números y
las especiales de cierto clases de estos.

REPRESENTACIÓN GRÁFICA NÚMEROS NATURALES

Para representar los números naturales, se escogen segmentos todos iguales entre si. En una semirrecta
llevamos a partir de su origen 0 los centímetros sucesivos.

MAYOR Y MENOR
Si al establecer la relación entre los dos conjuntos hay elementos del conjunto A o elementos del
conjunto B que se quedan sin su correspondencia, al no darse condición 1º el número del conjunto A no
coincidirá con el del conjunto B.

n>m;m<n
primer miembro, segundo miembro.
INTERPRETACIÓN GEOMÉTRICA DE LA IGUALDAD Y DESIGUALDAD

Según la definición de geometría : a segmento menor corresponde número menor, a segmento mayor
número mayor,

ARITHMETICES PRINCIPIA
NOVA METHODO EXPOSITA
A
IOSEPH PEANO

Las preguntas relacionadas con los fundamentos de las matemáticas, aunque tratadas por muchos en
nuestros días, todavía carecen de una solución satisfactoria. La dificultad surge principalmente de la
ambigüedad del lenguaje ordinario.
Por esta razón, es de la mayor preocupación considerar atentamente las palabras a utilizar. Resolví
hacer esto, y estoy presentando en este documento los resultados de mi estudio con aplicaciones a la
aritmética.
He indicado por símbolos todas las ideas que ocurren en los fundamentos de la aritmética, así que todas
las proposiciones están fijadas con esos símbolos.
Los símbolos pertenecen ya sea a la lógica o a la aritmética. Los símbolos de lógica que se utilizan aquí
son sobre diez en número, a pesar de que no todos son necesarios. El uso de esos símbolos y varias de
sus proipiedades son explicadas en el lenguaje ordinario en la primera parte. Yo no he querido presentar
su teoría en profundidad aquí, Los símbolos de aritmética son explicados según su aparición.
Vcon esta notación todas las proposiciones asumen la forma y precisión de las que las ecuaciones
disfrutan en el algebra. Y de unas proposiciones se pueden deducir las otras, por un proceso que se
asemeja a la resolucion de las ecuaciones algebraicas. Esta es la razón maestra para escribir este libro.
Habiendo inventado los símbolos con los que puedo escribir proposiciones aritméticas,
al tratarlos he usado un método que, debido a que se seguirá más adelante
estudios, lo presentaré brevemente.
Esos símbolos aritméticos que pueden expresarse usando otros junto con
los símbolos de la lógica representan las ideas que podemos definir. Por lo tanto, he definido cada
símbolo, si exceptúa los cuatro que están contenidos en las explicaciones de §1. Si,
como creo, estos no se pueden reducir aún más, entonces las ideas expresadas por ellos
no puede definirse por ideas que ya se supone que son conocidas.
Las proposiciones que son deducidas de otras proposiciones por las operaciones de la lógica son los
teoremas. Para las proposiciones donde esto no se cumple (no es verdad) son llamados axiomas.

/*************************/
( WIKI

.
Esta imagen muestra la relación entre las cadenas de caracteres,. En algunos sistemas formales, sin
embargo, el conjunto de los teoremas coincide con el de las fórmulas bien formadas.

Un teorema es una proposición que afirma una verdad demostrable. En matemáticas, es toda
proposición que partiendo de un supuesto (hipótesis), afirma una racionabilidad (tesis) no evidente por
sí misma.
/*******************************/

PEANO

Aportaciones del trabajo de Peano:

El deseo de colocar las argumentaciones de la matemática en un lenguaje riguroso, obligó a Peano a
desarrollar un cuerpo de signos que sirvieran para la notación de los razonamientos y las definiciones
de objetos. Fueron varios los símbolos que comenzó a utilizar y las ideas sobre la simbolización de los
razonamientos que aún en nuestros días se utilizan comúnmente.
Un ejemplo importante es la simbolización de una clase por medio de un enunciado que estableciera
una cierta propiedad. Sería algo asi como "la clase de los objetos x tales que p(x)". Esto es algo así
como un axioma formador de clases por la propiedad p(x) que contengan los objetos x.
Otro descubrimiento de Peano fue el hecho de que "ser elemento" de una clase, es decir "pertenecer" a
una clase, es algo diferente a "estar incluido o contenido" en una clase. Es decir, estableció la diferencia
entre los objetos de una clase y las partes de una clase. Para la indicación de la relación de pertenencia
se utiliza hoy dia el símbolo " " y para la relación de inclusión el símbolo " ".

Otra notación que hoy día seguimos utilizando es la del cuantificador universal, esto es la notación, por
ejemplo, de "para todo x, x pertenece a A si p(x)", que hoy día hacemos con el símbolo " ". Asimismo,
el cuantificador existencial para indicar situaciones como "existe algun x tal que p(x)", que también
hoy dia simbolizamos con " ".

Aquí se presentan nueve axiomas §1, que expresan las propiedades fundamentales de los símbolos
indefinidos. En §1-6 he probado las propiedades ordinarias de los números; por motivos de brevedad,
he omitido las pruebas que son similares a las que las preceden. La forma ordinaria de las pruebas ha
tenido que ser alterada en el orden para que puedan ser expresadas con los símbolos de la lógica. Éstaas
tranformaciones en algunas ocasiones son bastante difíciles pero la naturaleza de la prueba entonces se
vuelve más clara. En las siguientes secciones he tratado varias cosas para que el poder de la
método es mejor visto.
En §7 hay varios teoremas pertenecientes a la teoría de números. En §8 y §9 se encuentran las
definiciones de racionales e irracionales.
Finalmente, en §10 he expuesto varios teoremas, los cuales creo que son nuevos, que pertenecen a la
teoría de esas entidades qiue el profesor Cantor ha dado en llamar Conjunto de puntos (Punktmenge).
En este trabajo he utilizado las investigaciones de otros. La notación y las proposiciones de lógica que
están en los números II, III, y Iv, con algunas excepciones, representan el trabajo de otros, entre ellos
de Boole especialmente.

El símbolo ∈, no debe ser confundido con el símbolo, ⊂, aplicado lo inverso en lógica, y algunas otras
convenciones, lo he adoptado para poder expresar cualquier proposición sea lo que sea.
En las pruebas de aritmética usé el libro H. Grassmann, Lehrbuch der Arith-
Metik (Berlín 1861).
También ha sido de mucha utilidad para me el reciente trabajo de R. Dedekind. Was sind und was
sollen die Zahlen (Braunschweig, 1888), en lo referente a als cuestiones relativas a la fundación de los
números son extremadamente examinadas.
Mi folleto podría ser tenido como un ejemplo de este nuevo método. Con estás notaciones podremos
establecer y probar otras innumerables proposiciones, tales como aquellas que pertenecen a los
racionales e irracionales. Pero, a la hora de tratar otras teorías es necesario adoptar nuevos símbolos
para indicar nuevas entidades. Yo creo sin embargo, que con solo estos símbolos de lógica, las
proposiciones de cualquier ciencia pueden
ser expresado, siempre y cuando los símbolos que representan las entidades de la ciencia
se agreguen.

COMENTARIO: las matemáticas de Peano han sido traducidas al moderno no-

tación y lenguaje. Esto es una conveniencia para el lector casual. Nosotros advertimos
lectores expertos que el tiempo ha pasado y que el uso de Peano podría diferir en sutil
formas de conceptos modernos.

SÍMBOLOS DE LÓGICA

PROP or P# proposición
SET conjunto

∧ and

∨ or

⊥ contradicción

∅ conjunto vacío

→ Si … Entonces

⊂ está contenido en

= igualdad

∈ existe en

{x| . . .} notación de la inversa

[∈ ]

Th Teorema

Hp Hipótesis

Ts Tesis

L# Lógica

SÍMBOLOS ARITMÉTICA

entero positivo

número racional positivo

números reales positivos

número primo
max () máximo

min() mínimo

sup() límite superior

| divide

es divisibble

π es primo conceptos

SÍMBOLOS DE COMPOSICIÓN

no es menor

mayor o igual

es un divisor

es el mayor divisor

NOTACIÓN DE LÓGICA

Por las letras a, b, …..A, B, ….x, y, …...x’, y’, … indicamos las variables.
Las constantes son indicadas por símbolos, y principalmente por letras.

PROPOSICIONES

El símbolo PROP significa proposición.

El símbolo ∧ significa ‘y’. Sean a y b dos proposiciones, entonces a ∧ b es la misma afirmación que la
proposición a, b.

El símbolo ¬ significa ‘no’ . Sean a, b proposiciones; entonces ¬ a es la negación de la proposicion a.

El símbolo ∨ se lee como ‘ó’. Sean a, b proposiciones; entonces a ∨ b es lo mismo que

El símbolo ⊥ significa falso o absurdo.

El símbolo → significa, que de una se deduce otra, Si…. Entonces…. ; a → b significa lo i mismo que
b ← a. Si las proposiciones a, b contienen las variables x, y , esto es, expresean condiciones de esos
objetos, entonces

significa que cualesquiera que sean x, y… de la proposición a , se deduce la proposición b.

Si, en efecto, no existe peligro de ambigüedad, en vez de
solo escribiremos →.

El símbolo = significa igual. Sean a, b proposiciones; entonces a = b significa lo mismo que

y la proposición a

significa lo mismo que

Sean a, b, c proposiciones: Tendremos;

1.

2.

3.

4.

5.

6.

7.

8.

9.

10.

11.
12.

13.

14.

15.

16.

17.

18.

19.

20.

21.

22.

23.

24.

25.

26.

27.

28.

29.

30.

31.

32.

COMENTARIO: La Proposición # 33 parece ser falsa cuando a = b = d = T

y c = ⊥. Se mantiene si el primer "y" se cambia a "o". Comparar con
proposición # 17.

33.
34.

35.

36.

37.

38.

39.

40.

41.

42.

43.

Sea α el símbolo que representa una relación (e.g., =, → ) entonces (a α b) es una proposición.
Entonces an lugar de escribir

podremos escribir

El símbolo significa, no es igual. Si la proposición a contiene la variable x , significa: hay

una x que satisfacela condición a.
El símbolo
significa no se deduce.

CONJUNTOS

El símbolo SET significa conjunto, o agregación de entidades.

El símbolo significa existe. Así a ∈ B se lee como (a es un elemento de ) B; A ∈ SET significa A
es un conjunto; a ∈ PROP significa a es una proposición.
En vez de

podemos escribir

El símbolo
significa no existe; así:

44.

La notación a, b, c ∈ M significa: a, b, and c existen en M. Así:

45

Sea A un conjunto. Entonces significa, todos los elementos que no están en A.

46.

Sean A, B conjuntos. Entonces A ∩ B, es el conjunto de elementos que están tanto en el conjunto A

como en el conjunto B.

47.

48.

El símbolo ∅ indica el conjunto sin elementos.

49.

El símbolo ⊂ significa, está contenido. Así, A ⊂ B significa que A está contenido en B.

50.

La fórmula A = B, si A y B son conjuntos, significa (A ⊂ B) ∧ (B ⊂ A). Así

51.

Las proposiciones de la 1 – 41 también se mantienen si a, y b, indican conjuntos.

52.

53.

54.

55.

COMENTARIO: Abajo, Peano define subconjuntos que contienen un único elemento.

Sea A un conjunto y B un conjunto que stá contenido en A; entonces diremos que B es un elemenrto
del conjunto A si B solo contiene ese elemento.

56.

EL INVERSO

Por conversión. El proceso utilizado por Peano va hacia atrás desde la proposición al conjunto.

La notación del inverso es {x | … } y será explicada en la siguiente sección. Aquí damos unos ejemplos
particulares.
Sea a una proposición que contiene la variable x.; entonces la expresión { x | a }. la cual se lee aquellos
x tal que a, o sus soluciones, o raíces de la condición a, indica el conjunto que consiste de los
elementos que satisfacen la condición a. Esto es:

57.

58.

59.

Sean α, β proposiciones que contienen la variable x. Tendremos:

60.

61.
62.

63.

64.

Sean x, y dos entidades. Podemos considerar el sistema compueto por la entidad x, y por la entidad y,
como una nueva entidad, y denominarla con la notación (x, y); y de manera similar el número de
entidades se puede hacer lo grande que se quiera. Sean a, b proposiciones que contienen las variables x,
y; entonces {(x, y) | α } indica el conjunto de entidades que satisface la condición α
Tendremos:

65

66.
Sea x α y una relación entre las variables x e y (e.g. en lógica, las relaciones x = y, x y, x → y; en
aritmética, x < y, x > y,… ). Entonces la notación [∈ α] y denota las x que satisfacen la relación x α
y. Por motivos de conveniencia usaremos el símbolo en vez de la notación [∈]. Así:

y el símbolo como los objetos que. Por ejemplo, sea y un número; entonces < y denota al
conjunto formado por los números x que satisfacen la condición x < y, esto es, los objectos que
son más pequeños que y. Similarmente, si el símbolo | significa divide o es un divisor de , la fórmula
| significa los objetos que dividen o los divisores. Así:

Sea α juna fórmula que contiene la variable x. Entonces la expresión α[x :=x’], la cual se lee como
que x está siendo definido con otro nombre en α, en este caso x’

α[x := x] = α.
Sea α una fórmula que contiene las variables x, y . Entonces

resulta que

FUNCIONES

Peano tiene una versión muy estructurada o sintáctica de una función. No es paramétrica. Una función
presimbólica (“functionis praesignum”) es una expresión del tipo “ 2 + “ donde si adjuntas un número
al final de la expresión tendrás una expresión válida. Una función postsimbolica podría ser “ + 2 “.
Los símbolos de lógica introducidos hasta aquí son suficientes para expresar las proposiciones de la
aritmética, y solo usaremos estos. Se explicarán aquí otros símbolos que pueden ser de interés.
Sea S un conjunto; asumimos que la igualdad está definida entre los elementos del sistema S si se
satisfacen estás condiciones.

a =a

(a=b)=(b=a)

[(a=b) ∧(b=c)]→a=c

Sea φ un símbolo o un agregado de símbolos tales que, si x es un elemento del conjunto S, la

expresión φ x denota un nuevo objeto; nosotros asumimos que la igualdad está definida entre los
objetos φ x , aun es más, si x e y son elementos del conjunto S y si x = y, asumimos que es posible
deducir que φ x = φ y. Entonces el símbolo φ se dice que es una función presímbolica en el conjunto
S, y se escribe
* Es la definición de función presimbólica de Peano una definición de función inyectiva????*

COMENTARIO: En la descripción de arriba .Peano escribe

Sin embargo, en la ecuación de abajo, el prescinde de y escribe

esta ocurrencia se repite con la función postsimbólica mas adelante

Si, x es un elemento de S, la expresión xφ denota un nuevo objeto y xφ = yφ que procede de x = y,

entonces diremos que φ es una función postsimbolica en el conjunto S, y se escribe

Ejemplos:
Sea a un número; entonces a + es una función presimbólica en el conjunto de los números, y + a es una
función postsimbólica; para cada x, fórmulas como a + x y x + a denotan nuevos números, así:

Sea φ una función presimbólica en el conjunto S. Entonces [ φ ]y denota el conjunto compuesto por
las x que satisfacen la condición φ x = y; esto es:

El conjunto [ φ ]y puede contener uno o varios elementos, o ninguno. Tenemos:

pero si φ consiste en un único elemento, tendremos

Sea φ una función postsimbólica; escribiremos similarmente:

La notación
{ x | … } es llamada notación del inverso. Si α es una proposición que contiene la variable x y A es un
conjunto compuesto de individuos x que satisfacen la condición α , tenemos ( x ∈ A ) = α y el
conjunto A = { x | α, }.

FUNCIÓN
Una función f es una relación que asigna a los elementos del primer conjunto (conjunto inicial) un
elemento del segundo conjunto ( conjunto final).
Es una relación (correspondencia entre los elementos de dos conjuntos que forman parejas ordenadas)
que se establece entre dos conjuntos, a través de la cual a cada elemento del primer conjunto (dominio)
se le asigna un único elemento del segundo conjunto (codominio) o ninguno
FUNCIÓN INYECTIVA
La función f es inyectiva si cada elemento del conjunto final Y (codominio) tiene un único elemento
del conjunto inicial X (dominio) al que le corresponde. No puede haber un mismo valor de X que tenga
la misma imagen.(funciones uno a uno).
Una funcion f : A → B es inyectiva si las imagenes de elementos distintos son distintas.

O de modo equivalente, si sólo asigna imégenes idémticas idénticas a elementos idénticos.

No siempre todos los elementos del conjunto final deben corresponderse con alguno del conjunto
inicial X.
Si f ( x ) = f ( x’ ) entonces x = x’
FUNCIÓN SOBREYECTIVA O SUPRAYECTIVA
Si para todo y de Y , existe al menos un x en X tal que f ( x ) = y. Si todo elemento del conjunto final
Y tiene al menos un elemento del conjunto inicial X.
Una función f : A → B se dice suprayectiva si su imagen es igual a su codominio.
Im ( f ) = B
o, de modo equivalente, si todo elemento del codominio es imagen de algún elemento del dominio.

/*********** ********************/
f:A→B
a→b=f(a)

f : A → B es inyectiva si:
Para todo a, b pertenecientes a A; si a es distinto de b, entoces f ( a ) distinto de f ( b );
y tb:
Para todo a, b perteneciente a A; si f ( a ) = f ( b ) , entoces a = b;

f : A→ B es sobreyectiva si
para todo y perteneciente al codominio Y existe x del dominio x tal que f ( x ) = y
Es decir, toda la imagen de A coincide con el codominio B
Im ( f ) = B.

/********************* ***********/

PARA QUE UNA FUNCION PRESIMBOLICA LO SEA, APLICANDOLA A DOS ELEMENTOS

IGUALES DEL CONJUNTO EL RESULTADO DEBEN SER DOS ELEMENTOS IGUALES