Representar axiomáticamente los números Reales