Some authors require theories to also include all logical consequences of the axioms.
有些作者要求理論也要包括所有由公理導出的邏輯結論。