The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Gödel's Completeness Theorem for First-Order Logic
Let be a set of formulae in a first-order lanugage
Let be a formula in .
Then if and only if .