上书及其布尔模型

上书是一个叉格学概念 。所谓上书 , 即因装叉而被载入史册以供后世伸中指 。 通常情况下 , 上书之事都不止一起 , 而是一个序列:装叉 , 上书;再装叉 , 再上书 , 直至装不下去 。 据此 , 可抽象出上书的布尔模型如下 。设{Zn}为定义在有限正整数集上的一个装叉序列 , Hi为其中第i项的终极历史记录(1≤i≤n), 则称{Zi,Hi}为一个满足皮亚诺公理的上书序列 , 记为R , 即:R={x|x=Zi,Hi}​上式表征 , 装叉→失败 , 再装叉→再失败 , 直至装不下去 。上散文之书 , 属小上 。 上杂文之书 , 属中上 。 上建模之书 , 方为大上 。 大上者 , 上之上者也 , 是谓坐实 。​​​​