PhilosophyIdeas
.com Database

Current Total Ideas:
18,525

home

back
Ideas from 'Principles of Theoretical Logic' by Hilbert,D/Ackermann,W [1928], by Theme Structure
Click on the
Idea Number
for the full details 
back to texts

expand this idea
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750
The first clear proof of the consistency of the first order predicate logic was in 1928