Title Text:Real analysis is way realer than I expected.<

Origin:https://xkcd.com/1856/

https://www.explainxkcd.com/wiki/index.php/1856:_Existence_Proof

在数学中，存在证明是证明只存在具有特定属性的对象但不能说明该对象是什么的证明。例如，如果f是连续函数，使得f（0）= 0且f（100）= 2，则很容易证明存在0到100之间的x，使得f（x）= 1（如漫画）。但是，这个证明没有办法找到这样的x。

在许多情况下，存在的证明足以满足数学家，但在其他情况下，实际上需要确定存在已被证明的对象。

完整的陈述本身似乎是某种功能组合问题的解决方案。看起来像类已经证明的是，如果你将某个函数G（x）应用到函数f（0）的起始点，那么它将做的只是给你一个f（x）的值，其他值是x，其存在被证明是被证明的。句子“存在一些数字x使得f（x）= G（f（0））= 1。”归结为“有一个x使得f（x）= 1”。具有G（f（0））的部分仅是到达1的方式。由于某种原因，存在满足f（x）= G（f（0））的x，并且因为G（f（0）） = 1，相当于f（x）= 1。

在漫画中，伦哈特小姐（和学生们）更进了一步，拿起武器来破坏他们已经证明存在的功能价值。在最后一个小组中，屏幕上的一些学生开始怀疑他们是否在正确的班级，因为正常的数学课不会用剑来对抗抽象概念。[引证需要]另一位学生说他们终于在正确的数学课上，暗示这是他们一直想从他们的数学课程中想要的东西。

短语“我们骑”通常用于召集战斗呐喊，特别是在角色准备在马背上进行战斗的幻想或中世纪戏剧中。例如，在“指环王”中多次使用该短语的变体。

标题文本是指Real Analysis，它是处理实数和实值函数的数学分支（与处理整数，有理数，复平面中的虚数等的研究相反）。正如发言者所暗示的那样，真实分析应该仍然局限于数学的理论范畴;当然没有人报名参加这样的课程，他们会期望卷入一场反对无形结构的讨伐！从数学上下文来看，“分析”的字面意思是“分解”，指的是教师用剑削减事物的意图。使用不常见的“经销商”一词表明，这种情况突然发生了异常高的赌注。如果用“更真实”的技术上正确的措辞替换“realer”这个词，那么这种细微差别将会消失。

这可能是982：Set Theory的延续，其中数字被“执行”以证明一个观点。