Sorry, the article you're looking for isn't specifically available. Here are related topics:
mathematics · Gödel's completeness theorem · Gödel's incompleteness theorems · Soundness · Completeness · Decidability · Interpretation · Löwenheim–Skolem theorem ·...