Guest Lecture on Three Incompleteness theorems about Arithmetic