In the study of Kolmogorov complexity, the invariance theorem is one of the core results. It says that there are optimal universal description languages, which are at least as good as any other description language (except for a constant overhead).
详细百科解释