Soru: "Her doğal sayının bir sonrakisi vardır" ifadesi neden bir aksiyom olarak kabul edilir?
Çözüm: Bu ifade Peano aksiyomlarından biridir ve aksiyom olarak kabul edilir çünkü:
1) Doğal sayılar sisteminin temelini oluşturur
2) İspatlanamaz, sezgisel olarak doğru kabul edilir
3) Diğer matematiksel kavramların (toplama, çarpma gibi) tanımlanmasına zemin hazırlar
4) Matematiksel tümevarım gibi önemli yöntemlerin temelini oluşturur
Bu aksiyom olmasaydı, doğal sayılar sistemi tutarlı bir şekilde inşa edilemezdi.
