三公理溯源：形成轨迹（2005–2024）#

问题：三条公理是 2024 年突然提出的，还是在很长时间里逐步长出、2024 年才被写清？结论：是后者。三条各自的词汇与用法在 2015–2017 已经成形，公理式思维可上溯到 2009；2024 年所完成的是把三条合为一套并命名——不是发明它们。

与之配套的检验见三公理检视（那页问「是否在执行」，本页问「从何而来」）。

方法（以及防自证的措施）#

回溯式阅读最容易犯的错，是把 2024 年的措辞读回旧文。本页因此设了三条自律：

优先用日期明确的「动作」，其次才是「说法」。 一句「简单很好」远弱于一次真的扔书。
检索命中必须逐句核对语义——本页就因此否掉一个漂亮但虚假的早期证据（见下）。
同一遍扫查里同时找反证，不只找支持。

被否掉的一个证据（记录下来以免重犯）：慷慨 最早命中是 2007-05-21《战还是不战》，看似可以把「利他的性情」提前到 2007。逐句核对后否掉——原文说的是「历史上不是没有 慷慨求一战的封建君主」，指好战的君主，与利他无关。故本页不主张 2007 年有利他性情的证据。

轨迹#

时间	事件	与三条的关系
2005-11	《关于成立一个编程论坛的想法》：提议论坛“采用管理员提问而会员回答的方式”，因为“可以有一种‘帮带’的关系存在于管理员和会员之间”。（同帖讨论中主张“(小型的)社区，大家平等交流”的是评论者令狐虫，不是博主。）	利他的行为原型（给予、帮带）
2009-02	《BT群公理》：写下五条公理并作推论	公理式思维首次显形（戏仿《几何原本》五大公理）
2009-11	下载只限 eMule/BitComet，「不能让源头死了」	利他：为共同体放弃便利
2015-06	开始翻译《Universal Man》	触发点
2015-12	「元规则」一词首次出现	元规则词汇线起点
2016-05	《凯恩斯传》译者序	利他被指认为凯恩斯的「公理」；元规则被明确讨论；三体/谢顿/阿西莫夫被举为「结构异常简单却又异常严密的公理体系」
2017-07	《数学与科技》译者序	自洽被定义并当成判据；希尔伯特／哥德尔入场；给出方法
2018-02	《人生的下半场》总结「不求人」「不苛求」	自洽的内容（互为补充的封闭系统）
2020-12	蛋壳事件：「合理的原则总是选择最慷慨的路线」	利他落到具体冲突的决策上
2023-07	搬家扔书，借罗素之梦自况「图书馆助理」	简单作为动作
2024-06	《滕王阁序和人生的七个阶段》	三条合为一套、命名：「可为余生之元规则耳」
2024-08	《任氏有无轩重装上线》	补出来源（汉尼拔／希尔伯特／凯恩斯）与验证场（写程序）

逐条的形成线#

利他：行为(2005) → 命名(2016) → 落地(2020)#

2005：在「成立一个编程论坛」的帖子里提议论坛“采用管理员提问而会员回答的方式”，因为“可以有一种‘帮带’的关系存在于管理员和会员之间”。（更正：此处原写「主张社区 > 课堂——『建立一个(小型的)社区，大家平等交流』」，那句话出自同帖评论区的令狐虫，不是博主；博主本人当时的方案恰恰是“管理员提问”式的。） 2005-11-25
2009：只允许 eMule（95%）与 BitComet（5%），讥迅雷为「吸血鬼软件」，理由是「我要下载，但是不能让源头死了」。2009-11-20
2016：译序里把利他认作公理——「梅纳德所有的判断、行为都是出于『利他』精神这一『公理』」，并原文引出凯恩斯那句「合理的原则总是选择最慷慨的路线」。同文还写下自我应用的动机：「一位伟大人物就是如此练成的，而『我』也有可能通过这样的自我修养，而完成自我的提高。」 2016-05-27
2020：蛋壳（1 + 0.5 = 0.5）把它变成具体冲突下的取舍。 2020-12-10

要点：行为比命名早十一年。他先做了十年，才在 2016 借凯恩斯把它叫出名字。

自洽：作为判据(2017)先于作为人生规则(2024)#

这是本页最重要的发现。2017 年那篇译序里，「自洽」的定义、功能与出处全部已经确定：

「我是追求元规则的人，一个理论是否自洽（既完备又一致）是我决定是否接受这个理论的前提。虽然哥德尔证明，希尔伯特的想法（证明所有的真数学命题可以被证明，即数学的完备性；证明只有真数学命题才可以被证明，即数学的一致性）不过是妄念…… 一个系统的自洽与否虽然不能在系统本身证明，但我们在一个更高的（包含待证明系统的）系统里还是可以做到这点的。」

「试着从那些所谓系统的『公理』出发，按照最严谨的推理流程，来看看是否能得到有矛盾的两个结论……这样的过程，才是思考的过程。」 ——2017-07-26

这段话说明三件事：自洽取其「既完备又一致」的技术含义（希尔伯特／哥德尔）； 它是接受一个理论的前提（判据而非性格）；以及方法被明确写成操作——从系统的公理出发推演，看是否导出矛盾。

而本 wiki 在三公理检视里独立发现的、他的签名方法——检验公理体系是否被贯彻」（评《流浪地球》即一例）——并非我的推断，而是他 2017 年写下的操作规程。 2024 年的「自洽」只是把这条判据从理论移到人生。

简单：先作为好公理体系的性质（2016），再作为动作（2023）#

2016：他称赞阿西莫夫的机器人三定律、谢顿模型、《三体》的文明公理，用的是「结构异常简单却又异常严密的公理体系」——「简单」在这里已是他衡量一个公理体系是否漂亮的标准，且与「严密」（自洽）并列。 2016-05-27
2023：搬家扔书，并给出取舍标准；借罗素之梦自况「我也在做着那位图书馆助理的工作罢了」。2023-07-16
2024 之后：在决策上反复执行「够用即止」（NAS「不是最新的型号」、8G 「绰绰有余」、「堆内存就是堆钱」）。2026-08-31

要点：简单是三條里最后才落到行为上的一条——它在 2016 年是审美与标准， 2023 年才成为动作，2024 年才入列命名。这与它在三公理检视中证据最薄的观察一致，但解释不同：不是它没被执行，而是它入队最晚。

附带发现：他的元规则是「读」出来的#

三条形成的关键节点（2016 译者序、2017 译者序）都是翻译序言——也就是在 解释别人的体系时，才把自己的体系说清楚。这与 wiki 一再记录的现象同构：读书总览与生活总览共用同一组三公理。

用他自己的语言说，这是从系统外部审视系统：哥德尔证明系统不能在自身内部证明自洽，「但我们在一个更高的（包含待证明系统的）系统里还是可以做到这点的」。 翻译与阅读，就是他的「更高的系统」。

作者本人的同一次回溯（2026-09-19）#

作者在 2026-09-19 我一直是我自己。QED 里独立做过同一件事，结论与本页一致。他问的是：「这三条是我今天才立的，还是我一直在做的？」追下来的结果是——「最早的不是 2024 年——2009 年我写过一篇《BT群公理》，明说是仿《几何原本》五大公理写的；2015、2016 年，另外几条线也各自长了出来。公理式的思维，比 2024 年早十五年。」他把这次回溯得到的结论写成一句断语：「我一直是我自己。QED」。

两点限度须记：这是作者的自陈，可作结论的印证，却不能替代对旧文的逐句核对（本页的轨迹表与逐条形成线就是那一步）；而且他的说法停在公理式思维早十五年这一点上，本页把它拆到了逐条的词汇与行为。

结论#

三条不是 2024 年凭空出现的：词汇（元规则，2015）、方法（自洽即完备+一致，2017）、行为（利他，2005/2009；简单，2023）分头长成了十年以上，2024 年做的是合流与命名。

三点须同时记下，以免这个结论被读得过宽：

「三条」这个集合本身确实是 2024 年才有的。 2015–2023 是三股并行的线索，不是一套现成的三件套——整合才是 2024 年的真正贡献。
来源的自陈（汉尼拔／希尔伯特／凯恩斯）只出现在 2024；其中希尔伯特的作用 实际自 2017 年就在运行，只是当时没被点名。
本页的检索是词形级的，个别早期命中未逐句核对（已按方法第 2 条标注）。若要把某一条的形成线钉死，仍需逐篇细读其上下文。

参见#

三公理检视 — 同一组公理的「执行」检验（含作者界定）
生活总览 — 三公理的原始表述与作者界定
读书总览 — 同一组公理在读书中的表述
哥德尔-数学-时间 — 自洽的技术背景（完备性与一致性）
自组织 — 三公理的生成机制线：复杂性不需要设计，可从简单规则中自发涌现

本页创建于 2026-09-18，最后更新于 2026-09-20。