統語論的完全性と第3完全性が同値だったら
ゲーデルの不完全性定理は
「Qを含む再帰的公理化可能な妙緩健全な体系は第3完全でない」
といえてしまわない？
不完全性定理に「真」を使ったら間違いと習ったけど。