The unusual case of a young mathematics student is described. While studying and at other times he was troubled by intrusive thoughts about the logical foundations of mathematics. A treatment package involving the use of thought stopping, emotional processing and training in study skills is described and some ideas about the treatment of intrusive thought are considered.