Keywords: realna števila, Peanovi aksiomi, rekurzivno zaporedje, teorija množic, ZFC aksiomi, cela števila, racionalna številaFull text (outside link)