数学基礎論・数理論理学　その18 [無断転載禁止]©2ch.net

http://www.math.h.kyoto-u.ac.jp/~takasaki/edu/logic/logic8.html

強い形の完全性・健全性
健全性：任意の理論Ｔに対して，Ｔのモデルが存在すればＴは無矛盾である．
完全性：任意の理論Ｔに対して，Ｔが無矛盾であればＴのモデルが存在する．