道理上有可能，譬如整个数学可以用二进制表述。

甚至，如果一个模型是最终的，它就应该是最简约的。