Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
What puzzles me is that Skolem worked on his proof of Löwenheim–Skolem theorem in 1920, which is prior to Tarski's article. Gödel's completeness theorem is prior to Tarski's article too. How did they have such results without having a well-defined notion of semantics?
