https://profilbaru.com/uk/Теореми_Геделя_про_неповноту