Resultado de la búsqueda: existen dos teorias abstractas y generales pertenecientes al campo de la logica matematica