＞健全性とは証明された定理が必ず正しいことを保証するもので、矛盾を導かないことである。
＞健全性は、一般にはモデルを与えることで保証できる。

この２つの記述に不備がないとすると、著者の言う「健全性」とは「無矛盾性」と同値な性質だよね