下面我们来看，语言类型学理想状态下的研究是什么样子？是描写到全人类语言的。这个“全人类语言”在这里是穷尽性归纳，因为科学归纳最可保证的、大概能相信的归纳，是穷尽性的完全归纳。所有的不完全归纳都具有或然性。你数遍了天下的乌鸦是黑色的，但是保不准明天跑出个乌鸦是白色的，你不知道。所以你无法穷尽天下的乌鸦是什么颜色，（这）是不完全的归纳。在座各位同学、我们在这里的老师，一共加起来六十几个人，我可以穷尽：在座的要么戴眼镜的，要么不戴眼镜的。只有两种情况，不可能有第三种情况，这样的是一个穷尽性归纳，大概是比较可保证的。这一点不同于形式学派和功能学派。形式学派的理念是不必穷尽世界上所有的语言。不必（穷尽），我只要研究透。好像刘丹青老师也说过，打洞打得足够深，我也能穷尽我们地球上的所有物质和元素。语言类型学不是的，语言类型学可能在打很多很多洞，但洞不必深，我就能搜集到地球上所有的元素。功能学派其实也并没有在量上面有追求。那么，在全人类语言的样本的记录上面，从中抽象出规则，当然说归纳也可以，然后对规则进行解释，这个就是理论的工作。刘丹青老师也说，这是一种“先摆事实、后讲道理”的研究思路。或者先摆现象，我们先把现象摆出来，所谓摆现象就是描写，它是个什么，然后对它来做解释。