I think Skolem's initial intent in showing the Lowenheim-Skolem theorem (that every structure which has an infinite model has a countably infinite model) was to

I think Skolem's initial intent in showing the Lowenheim-Skolem theorem (that every structure which has an infinite model has a countably infinite model) was to develop a theory of reals which did not use uncountability.