No exigir en los axiomas sino cosas perfectamente evidentes."