Bir öğrenci "Her doğal sayının bir sonrakisi vardır" ifadesinin bir aksiyom olduğunu iddia ediyor. Bu ifade hangi matematiksel sistemin aksiyomlarından biridir?