History

for article: Gödel's completeness theorem