基于具有无限层次矛盾的次协调逻辑LP ^#的次协调二阶算术Z^#_2. Z^#_2中的Berry和Richard不相容数
Paraconsistent second order arithmetic Z^#_2 based on the paraconsistent logic LP^# with infinite hierarchy levels of contradiction. Berry's and Richard's inconsistent numbers within Z^#_2
摘要:
本文提出了具有非限制理解格式的次协调二阶算术Z#2。本文概述了次协调数学的某些部分在次协调二阶算术Z #2中的发展,特别地,我们定义了无穷阶Berry和Richard不相容数作为次协调域R^#的元素.
英文摘要:
In this paper paraconsistent second order arithmetic Z#2 with unrestricted comprehension scheme is proposed. We outline the development of certain portions of paraconsistent mathematics within paraconsistent second order arithmetic Z#2.In particular we defined infinite hierarchy Berry's and Richard's inconsistent numbers as elements of the paraconsistent field R^#.
机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。