We will examine Goedel's incompleteness results. The talk will focus mainly on Goedel's Second Theorem. I will present a non-standard contemporary proof of this famous result, which ended Hilbert's quest to establish unshakable foundations for Mathematics.