Pero, si nos enfrentamos a una teoría T’ tal que la clase S es vacía, las teorías son inconmensurables entre sí.