証明の各段階においては、前提(公理、定理等の認められた事実)や仮定から推論規則によって新たな命題を導くという形態をとる。