History

for article: Original proof of Gödel's completeness theorem