Alexa Jaime Lomelin

Introduction to Mathematical Philosopy

Bertrand Rusell
Chapter three

El captulo 3 nos habla de la finitud y la induccin matemtica, es decir la serie de

nmeros naturales, los cuales se puedes definir si sabemos que es un sucesor,
esto nos ayuda a entender la diferencia entre finito e infinito, la pregunta es si
Hay alguna otra manera de demostrar un numero sin ocupar el 0 o el sucesor?
Entonces por otro lado Cules son los nmeros que se pueden alcanzar,
teniendo en cuenta el 0 y el sucesor?, es decir existir otra manera de definir al
1 como sucesor y decir y as sucesivamente, y esto est mal ya que la definicin
no debe de asumir que el nmero es un numero finito, es aqu cuando ocupamos
la induccin matemtica.
Una propiedad se dice que es hereditaria en la serie de nmeros naturales si
pertenece a un nmero n que tambin pertenece a n-1 el sucesor de n, del mismo
modo una clase es hereditaria si siempre n es un miembro de la clase , es
equivalente a decir que pertenece a todos los nmeros naturales no menos
algunos de ellos, es decir todos aquellos que estn a menos de 1 e infinito, o todo
que no es menos de 1000, o puede ser todos los que estn a menos de 0, pero es
a todos sin excepcin.
Una propiedad se dice que es inductiva cuando se trata de una propiedad
hereditaria que pertenece a 0, al igual manera la clase es que 0 sea un miembro,
definimos posteridad de un numero natural dada la relacin de proceder
inmediato que es lo contrario a sucesor como todos aquellos trminos que
pertenecen a cada clase hereditaria a la que pertenece el numero dado, consiste
en s mismo y todos los nmeros naturales mayores, la posteridad de 0 consistir
en esos trminos que pertenecen a todas las clases inductivas, con estas
definiciones podemos definir a un nmero natural como los descendientes de 0 en
relacin con la relacin producidor inmediato.
El numero 0 es el nmero de trminos en una clase que no tiene miembros, esta
clase se llama clase nula, que es el conjunto de todas las clases similares a la
clase nula, mientras que la propia clase nula no tiene miembros. El sucesor de un
nmero de trminos en la clase es nmero de trminos en la clase que consiste
en un conjunto x, donde x es cualquier expresin que no pertenece a la clase.
Todas las matemticas puras en la medida en que es deducible de la teora de los
nmeros naturales, el proceso de induccin matemtica, por medio del cual hemos
definido los nmeros naturales como la posteridad con respecto a la relacin de
un nmero a su sucesor inmediato.
Establecemos las siguientes definiciones

Una propiedad se llama R hereditaria cuando, si pertenece a un trmino x y

y tiene la relacin R a y y esta pertenece a y
Una clase R hereditaria cuando su definicin de propiedad es R hereditaria

Alexa Jaime Lomelin

Introduction to Mathematical Philosopy

Bertrand Rusell
Chapter three

Un termino x se dice que es un ancestro R del termino y si tiene todas las

propiedades R hereditarias que x tiene
La R posteridad de x es todos los trminos de los que x es un R ancestro

La induccin matemtica es una definicin no un principio, y solo se pueden

demostrar la induccin matemtica y todos aquellos que tienen ciencia y mtodos
de induccin.