只有可證明的系統才能生存。