定義 T|=A ⇔ (M|=T⇒M|=A)
完全性定理の帰結 T|=A ⇔ T|-A
不完全性定理 初等算術を含む無矛盾な理論のモデルは唯一でない。