奥采尔(P.Aczel)在1988年给出的第一个例子将转换系统和非良基集(non-well-founded sets)模型称
基于16个网页-相关网页
到非良基集 non-well-founded set
非良基集
A non-good basis set
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动