An Alternative to Real Number Axioms. - Igor Líska; Beloslav Riecan; Anna Tirpáková (Axioms, 2018)