Gödel essentially constructed a formula that claims that it is unprovable in a given formal system.
Në thelb Gödel ndërtoi një formulë, që është e paprovueshme në një sistem formal të dhënë.