https://www.hoboctn.ru/2018/04/01/kurt-godel/
Kurt Gödel