道理上有可能，譬如整個數學可以用二進製表述。

甚至，如果一個模型是最終的，它就應該是最簡約的。