  We want to stress this second part—the recovery theorems. Without the recovery theorems one could always wonder whether there are incompatible axioms with the same fruitful consequences. In contrast to the case of physics, where one could never hope to show that the data logically implies the theory, in the case of the search for new axioms this is in fact possible. It is the recovery theorems that seal the case. 