完全性定理にもいくつかバリエーションがありますね

どのような完全性定理からどのようにして示されるのか、詳しく説明してください