This feels inherently unprovable / uncomputable. How would you prove that one model would be superior in every way to any other arbitrary model? For that you wo

This feels inherently unprovable / uncomputable. How would you prove that one model would be superior in every way to any other arbitrary model? For that you would need a model that was complete and consistent - which we've proven beyond a doubt is impossible (Godel) ..