demostraciones con axiomas de numeros reales