Matematikte toplama işleminin tanımlandığı en popüler kaynak ilk basımını 1910 yılında yapmış, Alfred North Whitehead ve Bertrand Russell tarafından yazılan Principia Mathematica[1] isimli kitapta görseli verilen kısımdır. 1+1=2 önermesini ispatlamak için;
1) 0 sayısının belirtilen kümenin bir elemanı olduğu,
2) Küme içerisinde bulunan her elemanın, yine aynı kümenin bir elemanı olan bir öncüle sahip olduğu
Tüm Reklamları Kapat
3) Küme içerisinde bulunan bir A elemanının A=A önermesini sağladığı ve kümenin önermeye göre kapalı olduğu
Varsayımlarının doğru olduğundan yola çıkılarak bir dizi mantıksal aşama sonucunda 1+1=2 sonucuna ulaşılmıştır. (A=B=>successor(A)=successor(B))
Kaynaklar
- A. N. Whitehead. (1927). Principia Mathematica. ISBN: 9780521067911. Yayınevi: Cambridge University Press. sf: 379.
