↧
Answer by Matthé van der Lee for Logical completeness of Hilbert system of...
The original is Alfred Tarski's book "The completeness of elementary algebra and geometry", which was due to appear in 1940 but never made it into print because of the outbreak of WW2. An edition...
View ArticleLogical completeness of Hilbert system of axioms
This is really a question about references. The entry in Russian Wikipedia about Hilbert's axioms states, in particular, that completeness of Hilbert's system was proven by Tarski in 1951. The...
View Article
More Pages to Explore .....