首先表明观点，论战不需要过度严谨。论战也做不到过度严谨。
让我们回顾一下，形式语言是怎么被发现的？那当然就是因为有人发现了自然语言具有相当大的可解释性，每个人具有的经验与知识决定了你将一个词，一段文本解释成什么样的意义。而这种被解释的意义通常默认为在拥有一个社会共识的语法框架内是具有同一套理解方式的。可是，显然的是，不同的世界观(理解框架)会理解出不同的意义，从而在某种程度上会修改那套默认的语法框架来使框架符合你的解释，而不是解释符合框架。这样子用出来的效果就会给不同的人带来不同的感受。
那感觉这种语言问题太大想要解决的是什么人？是莱布尼兹，他想创造一种具有不随人主观经验变动的语言，从而通过一套固定的规则可以让不同的人通过规则理解的是同一个意思。想要达成这样的效果，就需要一种新的表达方式。这就是我们的形式语言。
而上面这些和论战有什么关系呢？答案是目前所有的论证所讨论的对象是基于自然语言为前提的，而我们试图引入的形式规则与表达只是借用一种工具方便讨论而已。论战的对象从一开始就压根不具有全套形式语言的全套优点。
因此，想要追求严谨性的人，他就犯下了以下的错误：
1，过分低估自然语言的自由性程度
2，过分高估半引入形式语言的符号表达的可解释范围
那若是全套引用形式语言有用吗？答案是没有用的，因为讨论的小说，动漫，电影等一系列对象都是用自然语言写成的。在你将文本翻译到对应规则的时候，你就已经先一步理解的是自然语言了，从一开始形式语言的公理就不存在，那你要怎么保证后续的演绎是正确的或是严谨的呢？
比如单体无限的问题，按集合论的构造就是一个自然数全体而已。用符号工具表示就是ω。可是本吧无限显然不仅仅只有这些，为什么，因为光说ω别人不知道什么意思，为了将自然语言文本翻译成ω这个符号，一般将一些物理上的意义加进去，比如时间无限大，空间无限大，时空无限大，维度无限大，等等一系列可被翻译成类自然数全体构造的那种东西。
而一旦奠定了这个符号的具体意义，往上的一些量级只不过是引用了一些规则来进行运算，目的是对比体现不同程度的角色具有不同程度的量级。
而对于无限，显然的是，你可以根据自己的经验，随意根据一个解释框架往里面删补定义，这个并无什么实际讨论作用。因为在你未明确表达你所说的意义之前，别人实际看到这个词理解的意义和你的意义并不一致。而论战至少需要两个人及以上，那么你的那种未被形成默认的无限显然就会让讨论陷入僵局，而这种争论无限的定义问题这个行为根据上述说法，就没有什么太大意义了。