Tüm Reklamları Kapat
©2010-2026 Evrim Ağacı
/profile/dd57a92d-adeb-43ee-ba48-8f948efa4fcc.jpeg){kind=small}
/qna/c0c9bdf0-813b-462c-9f4c-0577ea1f1e1b.png)
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
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))