Is there a single example of this that you can think of?
No, it’s just a theoretical property of the ‘A, B, X’ abstraction that you mention. In fact, it would not surprise me if the general problem of proving whether or not two theories are exactly equivalent is intractable in a similar way to the halting problem.
No, it’s just a theoretical property of the ‘A, B, X’ abstraction that you mention. In fact, it would not surprise me if the general problem of proving whether or not two theories are exactly equivalent is intractable in a similar way to the halting problem.