History

for article: Proof sketch for Gödel's first incompleteness theorem