在有限语言非充足理由推理的三条推理规则基础上，引入一条极限推理规则用于刻画无穷语言下的非充足理由推理关系。
Based on the three syntax rules of non-sufficient reasoning in finite language , we add a limit reasoning rule to describe the non-sufficient reasoning relations under infinite language .
极限推理