形式体系
論理体系または論理は、ある種の意味論(通常、モデル理論的解釈の形態)を伴った形式体系であり、形式言語の文(自由変数を含まない論理式)に真理値を割り当てる。ある論理が健全であるとは、導出される全ての文が真と解釈されることを意味し、ある論理が完全であるとは、逆に全ての真の文を導出できることを意味する。