G6del's Theorem and the Mindi