すなわち、任意の一階の理論Tとその理論での言語における任意の命題Sについて、TにおけるSの形式的演繹が存在することと、SがTのあらゆるモデルで成り立つことは同値である。
它声称对于任何一阶理论T和在这个理论中的任何句子S，有一个S的自T的形式演绎，当且仅当S被T的所有模型满足。