Recursion and the Axiom of Infinity
综合数学
2012-01-30 v4
摘要
This paper examines the completion of an w-ordered sequence of recursive definitions which on the one hand defines an increasing sequence of nested set and on the other redefines successively a numeric variable as the cardinal of the successively defined nested sets. The consequence is a contradiction involving the consistency of w-order and then that of the Axiom of Infinity.
引用
@article{arxiv.math/0609190,
title = {Recursion and the Axiom of Infinity},
author = {Antonio Leon},
journal= {arXiv preprint arXiv:math/0609190},
year = {2012}
}
备注
Obsolete version