星期二, 29 9 月, 2026

固有类 proper class (project sense)

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

别名
顽固类

相关命题

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

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