本文探讨了Haskell中的佩阿诺算术，定义了自然数类型Nat及其基本操作，包括加法、乘法、取模和除法。通过递归实现这些操作，并使用类型别名和记录简化代码，最后介绍了Ackermann函数的实现。

尼科马科定理表明前n个自然数的立方和等于前n个自然数和的平方。本文通过代数基本定理和calc编程语言演示该定理。

这篇论文回答了Erdös和Graham的问题，即自然数集合的元素无限增大时，它们的最小公倍数是否也无限增大。作者证明了答案是否定的，找到了一些比质数更密集的集合，但它们的最小公倍数却保持有限。作者使用概率方法和解析数论技巧简化条件，找到了问题的解答。