只有可验证的系统才能生存。