https://9dok.net/document/zwvmwpw7-g-odel-incompleteness-theorem-in-its-historical-context.html