Text this: Una aproximación a los teoremas de incompletitud de Kurt Gödel