メタな用語

1. システムの健全性
2. システムの十全性
3. システムの完全性
4. モデルと文の充足〈満足〉関係
5. 文の充足可能性