Paradoja de Skolem

La tensión aparente de que la lógica de primer orden permite modelos contables de teorías que internamente afirman la existencia de conjuntos no contables, surgida del teorema de Löwenheim–Skolem y de la relatividad de 'contable' visto desde dentro frente a fuera de un modelo.