策梅洛-弗兰克尔相关硕士博士期刊学术论文

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