论文标题
通过分析证明和无限图获得的一些算术问题
Some arithmetical problems that are obtained by analyzing proofs and infinite graphs
论文作者
论文摘要
将Baaz的概括方法和一种新技术分别用于证明和不可忽视的简单图，并观察到各种算术模式。特别是，提供了足够的条件，使数字成为Fermat号码的分隔线。此类观察的准确性是在几个随后的问题中提出的。
Applying Baaz's Generalization Method and a new technique to, respectively, proofs and denumerable simple graphs, diverse arithmetical patterns are observed. In particular, sufficient conditions for a number to be a divisor of a Fermat number are provided. The accuracy of such observations is asked in several subsequent problems.
