Lecture on undecidable propositions:
original images