MatematikCafe.Net|KPSS,ÖSS,SBS,DGS,ALES,YÖS Sınavlarına Hazırlık,Matematik,Geometri,Ders Notları

Hayır felsefik ispat istemiyorum.
Ben olaya sadece matematiksel boyutundan bakıyorum.Aksiyomları da kullanarak bana 2+2=4 olduğunu matematiksel olarak ispat edebilir misiniz?

P1. 1 is in N.
P2. If x is in N, then its "successor" x' is in N.
P3. There is no x such that x' = 1.
P4. If x isn't 1, then there is a y in N such that y' = x.
P5. If S is a subset of N, 1 is in S, and the implication
(x in S => x' in S) holds, then S = N.

The proof starts from the Peano Postulates, which define the natural
numbers N. N is the smallest set satisfying these postulates:

P1. 1 is in N.
P2. If x is in N, then its "successor" x' is in N.
P3. There is no x such that x' = 1.
P4. If x isn't 1, then there is a y in N such that y' = x.
P5. If S is a subset of N, 1 is in S, and the implication
(x in S => x' in S) holds, then S = N.

http://www.matematikdunyasi.org/arsiv/PD...RDANNE.pdf
bunu bir incele

Evet inceledim sana ve ed06 ya oldukça yararlı paylaşımlarınızdan dolayı teşekkür ederim.

1+1 = 2
+ 1+1 = 2
---------
1+1+1+1 = 2+2



1
1+1
1+1+1
1+1+1+1
1+1+1+1+1
...


1+1 = 2
+ 1+1 = 2
---------
1+1+1+1 = 2+2
4 = 2+2

işte bu güzel oldu