Prueba rigurosa de los axiomas de la probabilidad