求和项、求和子项、求和元组与和式及求和的元算术
历史与综述
2020-09-21 v1
摘要
求和项作为语法实体被引入，求和元组作为语义实体被引入。借助这些概念，获得了关于和式作为（一个数可扮演的）角色的名称的新描述。引入了求和项分裂算子，并论证了若无进一步防范，这些算子的存在会引发所谓的求和分裂悖论。给出了求和分裂悖论解决方案的综述。
引用
@article{arxiv.2009.08851,
title = {Sumterms, Summands, Sumtuples, and Sums and the Meta-arithmetic of Summation},
author = {Jan A. Bergstra},
journal= {arXiv preprint arXiv:2009.08851},
year = {2020}
}