Philosophy Of Mathematics (readings In Philosophy)
by Jaakko Hintikka /
1969 / English / PDF
6.4 MB Download
Although several proofs have been published showing the completeness of the propositional calculus, for the first-order functional calculus only the original completeness proof of Godel and a variant due to Hilbert and Bernays have appeared. Aside from novelty and the fact that it requires less formal development of the system from the axioms, the new method of proof which is the subject of this paper possesses two advantages.