Gödel's Theorem - nidottu, Englanti, 2005