尼尔森用完全公理化的方式构建了非标准分析;他称之为内含集合论(Internal Set Theory) 或 IST。IST 是策梅洛-弗兰克尔集合论(ZFC)的延伸。
基于20个网页-相关网页
内含集合论
Inclusive set theory
以上为机器翻译结果,长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动