The completeness of first order logic, the result which asserts the equivalence between valid formulas and formal theorems, is established by Gödel. Together with Zermelo–Fraenkel set theory, first order logic is the foundation of many branches of modern mathematics.