命題P(p、q、r、…)が真の時、命題Q（p、q、r、…)が真である事が論理的に導ける時、その論理的推論過程を証明(Proof)という。 定理(theorem)は真であることが証明できる命題であり、公理(axiom)は証明の際に真として使うことができる命題である。 定理よりも…