在极弱算术中连续分母不可约分数之和永非整数
逻辑
2008-01-24 v1 数论
摘要
初等算术中的两个定理，其中一个指出任意数量连续正整数的倒数之和永非整数，另一个是 Trygve Nagell 对此的推广，被证明可在极弱算术 Richard Kaye 的 系统内得证，该系统中没有任何归纳公理。
引用
@article{arxiv.0801.3639,
title = {The sum of irreducible fractions with consecutive denominators is never an integer in a very weak arithmetic},
author = {Victor Pambuccian},
journal= {arXiv preprint arXiv:0801.3639},
year = {2008}
}