单项选择题 形式系统的每一个推论规则都可以表达为自然数，这个数叫做（）。

单项选择题 英制长度值转换为公制值的查表算法是一个（）。

单项选择题 虚拟环境能对介入者产生各种感官刺激，如视觉、听觉、触觉、（）等，人能以自然方式与其进行交互。