" a valós számok Peano-axiomatikájának " A Peano az a természetes számok axiómarendszere, a Peano-axiómarendszerből nem jön ki felsőhatár-tulajdonságú rendezett test :)