问道研究所

问道研究所

固有类 proper class (project sense)

被正则公理排除、以自身为前提的循环自嵌套结构；数学家园为 νF

别名
顽固类

相关命题

级别复核中：上游命题有变动，本条的级别正在复核。
SGC-0010 定理级 外部定理

固有类（在本项目意义上的循环自嵌套结构）以终余代数 νF ≅ F(νF) 为数学家园。