Resultado de la búsqueda: Abstracción y deducción en ciencias formales