Zaslat SMS: Gödel's incompleteness theorems