正しさ

• 健全 sound
• 適切 adequate（だいたいアディクエットでアにアクセント）
• 完全 complete
• 正しい correct

健全かつ適切なら完全

正しさには証明可能性と妥当性がある。

• 証明論的に正しい＝証明可能 |- p
• モデル論的に正しい＝妥当 M |= p
• 普遍的に妥当 |= p
• |= p とは、任意のモデルMに対して M |= p
• 健全性： |- p ならば |= p
• 適切性： |= p ならば |- p
• 完全性： |- p と |= p が同値

他に充足可能性の概念がある。