Nuevos axiomas y correcciones