Fico sempre me perguntando o que define quantas estações, quantos dias, quantos momentos cada pessoa vai ficar na minha vida. E porque umas ficam mais, outras menos e outras só acenam de longe.
To querendo entender.....
Enfim, encontrei a prova na internet, nesse blog que menciono lá embaixo.
Lá consta que em, 1889 Giuseppe Peano resumiu as propriedade do conjunto P dos inteiros positivos em 5 axiomas (os quais de fato, já haviam sido publicados por Dedkind um ano antes):
1 é um inteiro positivo;
todo inteiro positivo possui um único sucessor;
dois inteiros distintos possuem sucessores distintos;
1 não é sucessor de nenhum inteiro;
seja Q um subvconjnto de P com as duas seguintes propriedades: i) 1 pertence a Q; ii) se n pertence a Q, então o sucessor de n também pertence a Q. Então Q=P, isto é, todo inteiro positivo pertence a Q.
O último axioma é apelidado de "princípio da indução finita". Com esses 5 axiomas, é possível provar todas as proprosições conhecidas da aritmética. De início, os número se definem: 2 é sucessor de 1, 3 é sucessor de 2, 4 o sucessore de 3, e assim por diante. A adição de dois números inteiros também pode ser definida por indução finita (...) onde s(x) indica o sucessor de x. Assim, 2+2=4 é um teorema que se prova da seguinte maneira:
2+2= 2+s(1) = s (2+1) = s(s(2))= s(3) = 4
Não entendeu? Ok. Sabemos que 2 é o sucessor de 1--> s(1). Portanto 2+2= 2+s(1). Sabemos que s(1) = 1+1; então 2+s(1) = 2+1+1.
Opa,essa notação não nos é estranha: o sucessor de 2+1 [ s(2+1) ] é exatamente 2+1+1.
Assim, 2+s(1)= s(2+1). 2+1 é o sucessor de 2, então s(2+1) = s(s(2)).
Como o sucessor de 2 é o 3, s(s(2))=s(3), e o sucessor de 3 é 4.
Assim está provado que 2+2 são 4.
(http://econometricum.blogspot.com/2007/06/provando-que-2-2-igual-4.html).
Entendeu????
Nem eu....
CONCLUSÃO: Tem coisas que são o que são...entendendo ou não.....elas simplesmente sempre SERÃO.
Né?
Nenhum comentário:
Postar um comentário