Zoedoende huis ‘t Gödel’s onvolledigheidssteling, waat (informeel) impliceert det alle effectieve formele systeme mèt basisrekenkunde, mits degelik (waat wil zigke det alle stellinge die beweze kinne were woer zien), altied on volledig zien (waat wil zigke det d’r woere stellinge zien die neet in det systeem kinne were beweze).