演译系统系由两部份组成，一为由一组□真的合适公式组成的公理子系统，另一为由一组推导规则组成的推导规则子系统。通过推导规则所导出的合适公式称为定理，推导的过程称为该定理的证明。如果对某一类合适公式，皆可由公理子系统及推导规则子系统推导出来，则此演译系统为对这一合适公式具完整性。
nbsp;