Resultado de la búsqueda: tipos de axiomas y ejemplos