Original proof of Godel's completeness theorem