structure for 'Formal Logic'    |     alphabetical list of themes    |     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 [Walicki]