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 |