Resultado de la búsqueda: metodos de la ciencia formal deducción y abstracción