A voi hanno mai dedicato non uno, ma ben 2 teoremi? A me si
https://it.wikipedia.org/wiki/Teoremi_di_incompletezza_di_G%C3%B6del