SoundnessとCompleteness

https://cacm.acm.org/blogcacm/soundness-and-completeness-defined-with-precision/

Soundness

• 例: すべてのエラーを報告している

Completeness

• 例: エラーだけを報告している

理論上SoundnessとCompletenessの両立はできない(が、実用上はある程度緩和ができる)