Text this: Gödel's Incompleteness Theorems