Skolem entendió questi teorema podría aplicase pa les formalizaciones de primer orde de la teoría de conxuntos, siendo felicidá formalización numerable, esistiría un modelu numerable para dicha teoría entá cuando la teoría afirma quesisten conxuntos non contables.