In the days before Zermaelo, when the banach tarski paradox was but a twinkle in a mathematician's eye, and the world of sets seemed all but flawless: mathematicians began to formalise the thoughts of man. Logic, as we know and love so well, was crystallised before our very eyes from great and universal truth to a simple algebra of symbols, in which, it seemed lay all of the answers.

But it only seemed thus, a proof that all answers indeed lay with this cumbersome and perculiar beast eluded the mathematical world for some time.

Enter Godel.

Stick two fingers up at the pointless loutism of the crimbo party and join us as we take you through a proof of what is arguably the most important result in mathematics, er... then engage in pointless loutism with us a bit later...