20世纪60年代之后,涌现出了尝试以非经典逻辑为基础逻辑来拯救集合论的热潮。在这一时期,诞生了模态集合论、弗协调集合论、直觉主......

回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......

直觉主义集合论建立在直觉主义而不是经典逻辑之上,因此表现了一种基于直觉主义逻辑的、在其中编码和研究数学的自然环境。作为直......