Text this: La topología en la lógica: el teorema de compacidad