【滴……触发任务！
恭喜宿主的大道之路已经确立方向，软件商城已打开，请宿主在三十天内用二进制进行应用，可以用任意的形式完成一个成果。
奖励：软件商城的一张五折优惠券！】
久违的滴滴声响起，沈定溪精神一振，来不及仔细查看，旁边的师父问道：“你说你进行了一个试验，究竟是什么试验？”
问出这个问题，不知活了几百岁的开元真人竟有些迫不及待，他身旁站着的戴牧归也极其认真的看着沈定溪。
没什么不可说的，但要怎么说才能让人听懂呢？
沈定溪想了一阵，反问道：“师父，你在平常的研究中会经常感到语言对算术的局限吗？”
没想到沈定溪会问这个，但开元真人想到她所写的马青公式便明白了，在研究马青公式时，里面所运用的符号和定义让人着迷，他当时就有所启发，觉得这些符号和定义能够打破许多算术中的禁锢。
观察师父的神情，沈定溪满意的笑笑，而后说道：“可能是得益于马青公式的证明过程，我在无意中发现，若是将很多事物根据属性归于固定的范畴，就可以得出十分有趣的结论。”
开元真人不由陷入思索，戴牧归忍不住问道：“什么结论？”
“这样可以剔除掉语言中的许多悖论，净化语言。再加入符号，便可以让语言成为推理的工具。”
让语言成为推理的工具，这有什么用呢？又与算术有什么关系？
开元真人与戴牧归都双眉紧皱，万分不解的看着沈定溪。
他们都认为，算术的研究对象是数字和图形，推理只是一种工具，并不是值得研究的对象。
沈定溪解释，“语言可以进行推理，进而成为想算术推理一样的形式，若是有了合适的工具，是不是所有的语言都可以成为算术推理呢？进而推理，语言逻辑可以被计算出来。”
到此，开元真人和戴牧归已经不知道沈定溪在说什么了，两人都用陌生的目光看着她。
沈定溪抽了抽嘴角，她放弃了理论上的讲解，直接举了一个例子，“那么师父，你们可以这样理解。若是我将一些名词定义为一些符号，例如将马当做x，将动物当做y。可以这样表示：
所有马都是动物，可以对应为，所有x都是y。还可以以此类推，
没有树是动物，没有x是y。
有些马是纯种马，有些x是y。”
对于这个例子，开元真人和戴牧归两人都学习过马青公式，因此很容易便理解了。
沈定溪继续讲解，“那么请来判断一个三段论是否正确。所有x都是y，所有y都是z，那么所有x都是z这个结论是不是正确呢。”
恭喜宿主的大道之路已经确立方向，软件商城已打开，请宿主在三十天内用二进制进行应用，可以用任意的形式完成一个成果。
奖励：软件商城的一张五折优惠券！】
久违的滴滴声响起，沈定溪精神一振，来不及仔细查看，旁边的师父问道：“你说你进行了一个试验，究竟是什么试验？”
问出这个问题，不知活了几百岁的开元真人竟有些迫不及待，他身旁站着的戴牧归也极其认真的看着沈定溪。
没什么不可说的，但要怎么说才能让人听懂呢？
沈定溪想了一阵，反问道：“师父，你在平常的研究中会经常感到语言对算术的局限吗？”
没想到沈定溪会问这个，但开元真人想到她所写的马青公式便明白了，在研究马青公式时，里面所运用的符号和定义让人着迷，他当时就有所启发，觉得这些符号和定义能够打破许多算术中的禁锢。
观察师父的神情，沈定溪满意的笑笑，而后说道：“可能是得益于马青公式的证明过程，我在无意中发现，若是将很多事物根据属性归于固定的范畴，就可以得出十分有趣的结论。”
开元真人不由陷入思索，戴牧归忍不住问道：“什么结论？”
“这样可以剔除掉语言中的许多悖论，净化语言。再加入符号，便可以让语言成为推理的工具。”
让语言成为推理的工具，这有什么用呢？又与算术有什么关系？
开元真人与戴牧归都双眉紧皱，万分不解的看着沈定溪。
他们都认为，算术的研究对象是数字和图形，推理只是一种工具，并不是值得研究的对象。
沈定溪解释，“语言可以进行推理，进而成为想算术推理一样的形式，若是有了合适的工具，是不是所有的语言都可以成为算术推理呢？进而推理，语言逻辑可以被计算出来。”
到此，开元真人和戴牧归已经不知道沈定溪在说什么了，两人都用陌生的目光看着她。
沈定溪抽了抽嘴角，她放弃了理论上的讲解，直接举了一个例子，“那么师父，你们可以这样理解。若是我将一些名词定义为一些符号，例如将马当做x，将动物当做y。可以这样表示：
所有马都是动物，可以对应为，所有x都是y。还可以以此类推，
没有树是动物，没有x是y。
有些马是纯种马，有些x是y。”
对于这个例子，开元真人和戴牧归两人都学习过马青公式，因此很容易便理解了。
沈定溪继续讲解，“那么请来判断一个三段论是否正确。所有x都是y，所有y都是z，那么所有x都是z这个结论是不是正确呢。”