完全である
⇔ 任意のモデルで真であるものは証明できる

の話ではなく?