不完全性定理とかまったく関係ない
ある公理系から演繹される理論体系が、その理論体系自体が正しいことは証明できないってだけのこと