问道研究所
Science of Generation
被正则公理排除、以自身为前提的循环自嵌套结构；数学家园为 νF
固有类（在本项目意义上的循环自嵌套结构）以终余代数 νF ≅ F(νF) 为数学家园。