你就不读别的书吗？读一本数理逻辑，搞清楚完备，相容的真正意思。这些都有严格的定义，不要望文生意。