纽约。
夜～
曼哈顿，金币酒店。
花匠先生表情非常古怪的坐在客厅里，默默旁观着“神经病”奥迪斯·帕克和“脑洞天才”大卫，认真的讨论着让他感到无法理解的。。游戏？！
“你刚才不应该对卡内斯那么说。。”
“如果他找到规则的漏洞，利用它很快赚到一万英镑的话。。”
“你要怎么处理？”
“呵呵～”奥迪斯·帕克先生提出的问题，让大卫忍不住笑了。
“你不要忘了，任何规则都有漏洞！”
“卡内斯能在这场游戏里找到漏洞，利用它完成任务，这是他的能力也是他的运气。”
“我们不能把注意力只放在他如何利用规则漏洞上，而是要尊重他自愿参与的决定，仔细观察他的行为规律和心理变化，为下一次的游戏积累经验。”
“下一次？”奥迪斯·帕克有点惊讶的点点头，嘴角的笑容“写”满了期待的问道。
“原来你不是临时起意？”
“当然不是！”
大卫解开了领口的扣子，起身走到小吧台旁边，给自己倒了一点金橘酒，笑着解释道。
“有了第一次，才能有第二次和之后的无数次～”
“对了，我还没有向你们介绍它吧？”
“我把它称作角色扮演游戏（Role-playing game），简称为RPG。”
“在RPG中，自愿参与的玩家要遵守游戏规则扮演一个角色，并完成一系列任务，并能从中获得从未有过的新奇体验和成就感。。”
大卫看到花匠先生露出的困惑表情，走到他身边坐下来，笑问道。
“你听说过形式系统（Formal system）吗？”
“没有。。”花匠先生摇摇头答道。
“其实，它很简单。”
“参与游戏的玩家在RPG游戏中扮演一个角色，并在一个我们设定的结构化规则下，通过一些行动令所扮演的角色获得发展。。”
“而玩家在这个过程中的成功与失败，取决于一个规则或行动方针的形式系统。”
“一个形式系统，在逻辑与数学中由两个部分组成，它是形式语言＋推理规则或转换规则的集合。”
“在数学领域里，戴维·希尔伯特创立了元数学，以作为讨论形式系统的学科。”
“任何用于讨论形式系统