Es tracta de veure com es pot interpretar els teoremes de Cantor, de Gödel, i altres resultats anàlegs, de forma categoria.
Això es farà via el famós “teorema del punt fix de Lawvere”, que es pot demostrar fàcilment, i després veure com es pot deduir versions categorials dels teoremes citats.