そもそも数学では正しいという概念自体を扱っていないのに正しいことを証明もクソもないだろｗ
完全性ってのは日常語でいう正しさとか真実とはまったく異なる概念だ