Gödel's incompleteness theorems
理想上，语义蕴涵（semantic consequence）和逻辑蕴涵（syntactic consequence）等价，但这不总是可行。（参见哥德尔不完备定理，它陈述了包含为真但不能证明的句子的一些语言（比如算术））。在这种情况下，把等价分成两部分是有用的：