同値な体系はいくらでもあるよ有限オート万トンとか
完全性はまったく違う概念だし証明体系にしか通用しない概念だから
証明体系の決定可能性（＝完全性）と計算論的な決定可能性をはき違えたか？