PhilosophyIdeas
.com Database
|
Current Total Ideas:
22,967
|
home
|
back
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
17751
Gödel proved the completeness of first order predicate logic in 1930
[Gödel, by Walicki]