https://un-sci.com/ru/2020/03/07/kurt-gyodel-teorema-o-nepolnote/