Sorry, the article you're looking for isn't specifically available. Here are related topics:
Decidability · Interpretation · Löwenheim–Skolem theorem · Metatheorem · Satisfiability · Independence · Type–token distinction · Use–mention distinction ·...