Q: How many mathematical logicians does it take to change a light bulb

A: None. They can't do it, but they can easily prove that itcan be done.