普雷

普雷斯堡尔算术普雷斯堡尔算术是自然数加法的一阶理论，为纪念1929年提出的莫伊泽斯-普雷斯堡尔而命名。普雷斯堡尔算术的签名只包含加法运算和平等，完全省略...