PhilosophyIdeas.com Database     |     Current Total Ideas: 22,967     |     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]