PhilosophyIdeas
.com Database

Current Total Ideas:
19,285

home

back
idea number
gives full details. 
back to list of philosophers

expand these ideas
Ideas of Hilbert,D/Ackermann,W, by Text
[German, fl. 1928, Two leading mathematicians of their time.]
1928
Principles of Theoretical Logic
p.35
17750
The first clear proof of the consistency of the first order predicate logic was in 1928