PhilosophyIdeas
.com Database

Current Total Ideas:
19,464

home

back
Ideas from 'Principles of Theoretical Logic' by Hilbert,D/Ackermann,W [1928], by Theme Structure
green numbers give 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
[Walicki]