Gödel's incompleteness theorem emoji