ìsố 1 là gì?”, ìsố 2 là gì?”, ìphép + có nghĩa gì?”, và từ đó phải tự xét lại xem mình đã hiểu ì1+1=2” có ý nghĩa như thế nào mà mình tin là đúng?
Đúng vậy, cái gì cũng phải rỏ ràng .....
Bây giờ ta dang ở N, trong N có một fuction suc(n) như sau:
A. suc(0)=1
B. suc(n)=suc(m) ===> n=m
C. 2=suc(1) dịnh nghĩa cũa 2
phép '+' trong N là nhu thế nầy:
D. n+0 = n
E. suc(n+m) = n + suc(m)
với những axiome nầy ta co thể chưng minh 1+1=2
ta có:
1 + 1
= 1 + suc(0) A
= suc(1+0) E
= suc(1) D
= 2 C dịnh nghĩa cũa 2
1+1 = 2
hết