Aksiom matematičke indukcije

Izvor: Wikipedija
Prijeđi na navigaciju Prijeđi na pretraživanje

Aksiom matematičke indukcije je aksiom o matematičkoj (potpunoj, totalnoj) indukciji. Omogućava da iz izvjesnih svojstava podskupa zaključimo odnos dvaju skupova. Ovim aksiomom se mogućava i sredstvo je za prouučavati beskonačne skupove, za dokazivati poučke i za definiciju funkcija.

Aksiom glasi:

Neka je skup M podskup skupa prirodnih brojeva N.

Pretpostavimo dva svojstva skupa M:

  1. 1
  2.   

Slijedi zaključak:

Izvori[uredi VE | uredi]

  1. Kurepa, Svetozar. Matematička analiza 1. Diferenciranje i integriranje. Zagreb: Školska knjiga, 1997.; str. 17-18