Text this: Gödel's incompleteness theorem /