https://daniel-schuppelius.de/wissen/mathe/mathewelten/mathewelten-der-goedelsche-unvollstaendigkeitssatz/