To paraphrase Douglas Adams, “There is a theory which states that if ever anyone discovers the foundations of mathematics to be contradictory, they will instantly disappear and be replaced with something even more bizarre and inexplicable. There is another theory which states that this has already happened”