Konštrukcia číselných oborov - prirodzené čísla
Peanova aritmetika
Matematická indukcia
Definícia.
Matematická indukcia
Matematická indukcia
Axióma VIII
Ak
je množina prirodzených čísel, ktorá obsahuje nulu
a zároveň pre každé prirodzené číslo platí:
[] potom .
[] potom .
Poznámka.
Axiómu VIII môžeme formulovať aj pomocou jazyka výrokovej logiky.
Axiómu VIII môžeme formulovať aj pomocou jazyka výrokovej logiky.