轻松编写五篇文章

一群人都有目标。 他们使用辩证游戏和语言游戏对术语进行初步调整 为了这些特定人员的特定目标，这些术语仅在他们共同创建的正式系统（编程类型系统）中具有含义。 由此产生的技术（可执行类型系统）用于创建和验证关于我们周围宇宙的新假设