理查德·斯塔特曼 吉尔斯·道克 关于Statman的有限完全性定理。 2023 abs/2309.03602 CoRR公司 https://doi.org/10.48550/arXiv.2309.03602 数据库/期刊/corr/corr2309.html#abs-2309-03602