論証
証明とは、論証が妥当であることを示すものである。ただし記号論理学では証明とは公理系における公理と推論規則から論理式を導く構文論的推論であり、意味論的に与えられる真理値や妥当性とは別の概念として考えられる。