diff --git a/docs/any.md b/docs/any.md
index 4956f74..0fb3d50 100644
--- a/docs/any.md
+++ b/docs/any.md
@@ -174,13 +174,13 @@ if (typeof s === 'string') {
 
 为了保持与集合论的对应关系，以及类型运算的完整性，TypeScript 还引入了“空类型”的概念，即该类型为空，不包含任何值。
 
-由于不存在任何属于“空类型”的值，所以该类型被称为`never`，即不可能发生这样的值。
+由于不存在任何属于“空类型”的值，所以该类型被称为`never`，即不可能有这样的值。
 
 ```typescript
-let x: never;
+let x:never;
 ```
 
-上面示例中，变量`x`的类型是`never`，就不可能赋给它任何值，都会报错。
+上面示例中，变量`x`的类型是`never`，就不可能赋给它任何值，否则都会报错。
 
 `never`类型的使用场景，主要是在一些类型运算之中，保证类型运算的完整性，详见后面章节。另外，不可能返回值的函数，返回值的类型就可以写成`never`，详见《函数》一章。