Peano aksiyomları doğal sayılar sistemini tanımlar. Bu aksiyomlardan biri "Her doğal sayının bir ardılı vardır" şeklindedir.
Bu aksiyomun matematikteki temel işlevi nedir?
A) Doğal sayıların sonsuz olduğunu kanıtlamak
B) Toplama işleminin tanımını vermek
C) Doğal sayılar kümesinin yapısını belirlemek
D) Çarpma işleminin özelliklerini açıklamak