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