La demostración de los teoremas de incompletitud se basa en tres conceptos: