Naravno število: Razlika med redakcijama

Izbrisana vsebina Dodana vsebina
Brez povzetka urejanja
Redakcija 2651255 uporabnika 95.87.138.67 (pogovor) razveljavljena
Vrstica 15:
Zadnji aksiom zagotavlja veljavnost [[matamatična indukcija|matematične indukcije]] pri dokazovanju.
 
S standardno konstrukcijo v teoriji množic preko [[PeanoviZermelo-Fraenkelovi aksiomi|PeanovihZermelo-Fraenkelovih aksiomov]] določimo vsako naravno število kot množico naravnih števil, manjšo od števila, tako, da so prva naravna ševila:
 
:0 ≡ ''Ø'' = {} ([[prazna množica]]),