structure for all areas    |     expand these ideas

4. Formal Logic / C. Predicate Calculus PC / 3. Completeness of PC

[that all the valid truths of PC are provable]

1 idea
Gödel proved the completeness of first order predicate logic in 1930 [Gödel, by Walicki]