文 φ が文の集合 σ の論理的帰結であること(formula_174)と、φ が σ の定理であること(formula_177)は全く別の仕方で定義されている。