[Godel.bmp]