这个连载游戏怎么用数学解释？

如果我们标记一些红色和一些蓝色，我们会发现有13红色和11蓝色。

而且画笔画的时候，如果笔在红色的位置，那么下一步一定是蓝色的。如果是蓝色，下一步一定是红色。

换句话说，要么红，要么蓝，要么红，要么蓝，要么红，要么蓝，要么蓝，要么红。

无论怎么画，红色的数和蓝色的数之差都不会超过1。但是红色的数量-蓝色的数量= 2，所以无解。

(注:“红蓝数之差”是指“红蓝数之差的绝对值”。)

数学的刚性

数学语言对初学者来说也很难。如何让这些词有比日常语言更精确的含义也困扰着初学者。比如“开”和“域”这两个词在数学中就有特殊的含义。数学术语还包括胚胎、可积性等专有名词。

但是使用这些特殊的符号和术语是有原因的:数学比日常语言更需要准确性。数学家将这种对语言和逻辑准确性的要求称为“严谨”。

数学是人类严格描述事物抽象结构和模式的通用手段，可以应用于现实世界中的任何问题。从这个意义上说，数学属于形式科学，而不是自然科学。所有的数学对象本质上都是人为定义的。它们不存在于自然界，只存在于人类的思维和观念中。

因此，数学命题的正确性不能像物理、化学等以研究自然现象为目的的自然科学那样，通过反复的实验、观察或测量来检验，而是可以通过严密的逻辑推理直接证明。一旦结论被逻辑推理证明，那么结论就是正确的。

数学的公理化方法本质上是逻辑方法在数学中的直接应用。在公理系统中，所有命题都由严格的逻辑联系起来。

从未经定义直接采用的原始概念出发，借助逻辑定义逐步建立其他派生概念；从未经证明直接采用为前提的公理出发，借助逻辑演绎，逐步得出进一步的结论，即定理；然后将所有的概念和定理结合成一个具有内在逻辑联系的整体，即形成一个公理系统。

刚性是数学证明中非常重要和基本的部分。数学家希望他们的定理由系统的推理和公理推断出来。这是为了避免依靠不可靠的直觉得出错误的“定理”或“证明”，历史上也有过不少例子。

数学中所期望的严谨性随着时间而变化:希腊人期望仔细的论证，但是在牛顿的时代，所使用的方法没有那么严谨。

牛顿对于解题的定义直到19世纪才被数学家们通过严谨的分析和形式上的证明妥善处理。数学家们一直在争论计算机辅助证明的严密性。当大量计算难以验证时，证明几乎没有有效性和严密性。