数理逻辑
解释：用数学的工具和方法研究推理、计算等问题的一门科学，是数学的一个分支。它的主要内容有：命题演算、谓词演算、证明论、递归论、模型论和公理化集论等。也叫符号逻辑。
造句：这是因为“蓍”不仅反映了古人对生命的崇拜意识，更重要的是，它使《易》学思想建立在一个严密的数理逻辑系统之上。