Abstract

The aim of this work is to characterize constructive real numbers through a minimal axiomatization. We introduce, discuss and justify 16 constructive axioms. Then we address their expressivity considering the alternative axiomatizations.