可还原性公理-一流百科

可还原性公理

简介可还原性公理是由伯特兰-罗素在20世纪初提出的，作为他的类型的ramified理论的一部分。罗素设计并介绍了公理，试图管理的矛盾，他已经发现在他的分析集合...