Gödel essentially constructed a formula that claims that it is unprovable in a given formal system.
Гедел во суштина изградил формула која тврди дека е непроверлива во даден формален систем.