La expresión recursivamente enumerable puede hacer referencia a varios conceptos cercanos en lógica y matemáticas: