SMS: Το θεώρημα του Godel