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
The first clear proof of the consistency of the first order predicate logic was in 1928