There is no upper or lower bound on the minimum length of a proof when you are free to choose the language in which it is expressed. This means that there almos

There is no upper or lower bound on the minimum length of a proof when you are free to choose the language in which it is expressed. This means that there almost certainly are things can only be communicated in one language but not another, even if the languages are equivalent in some vague limiting sense. So as a practical matter, you have to work in a better language, because the difference between spending 30 years to learn something and 30,000 years is quite significant.