"completeness theorem" -
related articles and key terms
Related terms:
tarski
forall u
mathematical logic
Wikipedia sources:
Model theory
Saul Kripke
Philosophy of mathematics
Context for words:
completeness
theorem