green numbers give full details | back to texts | unexpand this idea
| 17750 | The first clear proof of the consistency of the first order predicate logic was in 1928 |
| Full Idea: The first clear proof of the consistency of the first order predicate logic is found in the 1928 book of Hilbert and Ackermann. | |||
| From: report of Hilbert,D/Ackermann,W (Principles of Theoretical Logic [1928]) by Michal Walicki - Introduction to Mathematical Logic History E.2.1 |