Aksiomatska konstrukcija naravnih številZobavnik, Špela (Avtor) Slapar, Marko (Mentor) realna številaPeanovi aksiomirekurzivno zaporedjeteorija množicZFC aksiomicela številaracionalna številaV magistrskem delu so najprej predstavljena naravna števila, in sicer smo jih vpeljali preko Peanovih aksiomov. Z vsemi petimi aksiomi postopoma prikažemo računski operaciji seštevanje in množenje ter njune osnovne lastnosti (nevtralni element, komutativnost, asociativnost, distributivnost). Predstavljena so tudi rekurzivno definirana zaporedja, urejenost naravnih števil ter odštevanje in deljenje, ki pa sta le delno definirani operaciji v naravnih številih. V nadaljevanju je velik poudarek na natančnih dokazih osnovnih lastnosti naravnih števil le s pomočjo Peanovih aksiomov. V poglavju o množicah smo se v glavnem posvetili sistemu ZFC aksiomov, ki so ime dobili po matematikih Zermelu in Fraenkelu ter aksiomu izbire (C). S pomočjo aksiomatske teorije množic (predvsem aksioma o neskončnosti) naravna števila vpeljemo kot množico, v kateri pokažemo veljavnost Peanovih aksiomov. V zadnjem delu smo vpeljali še cela in racionalna števila kot kvocientni množici kartezičnega produkta N×N oziroma Z×Z\\{0}.[Š. Zobavnik]20162016-11-25 02:20:09Magistrsko delo/naloga87122UDK: 511(043.2)COBISS_ID: 11335753sl