のいずれかを満たすとき、(p1...,pn)をpnの(公理系aにおける)証明と言う。