Stav dette: Una aproximación a los teoremas de incompletitud de Kurt Gödel