完备性：对的都能证
    一致性：悖论不存在
    可判定性：对错皆可知道

    哥德尔证明发表了不完备定理