比奇算术-一流百科

比奇算术

比奇算术基数为k的比奇算术是自然数的一阶理论，有加法和函数它被定义为k的xxx幂除以x，为纪念瑞士数学家JuliusRichardBüchi而命名。Büchi算术的签名只包含加...

词条百科