词语：基本
语境：基本上，这就要求系统能将一些基本操作例如加法和乘法形式化，例如在鲁宾逊算术Q中那样。
释义：基本：大体上。
构词方式：联合
语素1释义：基础。
语素2释义：主要的；核心的。