Resultado de la búsqueda: dos teorías abstractas y generales, pertenecientes al campo de la lógica matemática. Se