Üllatusega nägin, et Econometricas on vastuvõetud artiklite hulgas Petersi ja Szentesi lepinguteooria artikkel, kus kasutatakse Gödeli kodeeringut ja esimest järku loogikat. Artikkel kirjeldab lõpmatut regressi lepingute hulgas, mis tekib sarnaselt uskumuste hierarhiatele – mitme majandusagendi omavahelistes lepingutes võivad olla teiste agentide lepingutele viitavad klauslid. Teiste lepingutes omakorda esimesest lepingust sõltuvad punktid. Nii et üks leping sõltub teisest, mis sõltub esimesest, mis sõltub teisest…
Peters ja Szentes kirjeldavad, milliste tasakaaludeni on võimalik üksteisest sõltuvate lepingute abil jõuda. Tõestuses esitavad nad iga võimalikku lepinguteksti naturaalarvuna (see esitus on Gödeli kodeering) ja lepingutekstid on kirjutatud esimest järku loogika süntaksis (saavad sisaldada aritmeetilisi tehteid ja kvantifikatsiooni). Iga leping on defineeritav funktsioon kõigi lepingute hulgast kõigi agentide valikuprofiilide hulka.