检验过的
经核准的
提出
编辑
Apoloniusz Tyszka,<a href=“https://philarchive.org/archive/TYSDASv56“>关于ZFC公式phi(x),对于该公式,我们知道一个非负整数n,使得max({x,n的元素,phi(x)})<=n,如果集合{x,n的元素,φ(x)}是有限的</a>,2019。
Apoloniusz Tyszka,<a href=“https://doi.org/10.13140/RG.2.2.28996.88486“>在集X上,N的子集,其有限性意味着我们知道一个算法,对于N的每个N元素,它决定不等式max(X)<N</a>,(2019)。