I've read two books on Godel's theorem. Like with your piece here, I don't fully understand how numbers can be applied to prove the theorem. Your explanation, as far as you take it, is clear and concise, so thank you. Just wish I could grasp the actual structure of the theorem.