Conventional wisdom is that mathematics is the one area of certainty in the world. 2+2 is always four. Set theory is consistent. Well, maybe...