狭义非直谓_数学名词 - 线报百科mbji.cn

狭义非直谓

数学名词

狭义非直谓(narrow impredicative)一种非直谓定义法.指用非直谓定义法所定义的对象在下定义时非借助于总体不可，亦即被定义的对象只能借助于这一总体才能定义时，则称之谓狭义非直谓。

例如，一切序数所组成的良序集W的序数月.这是一种非直谓定义，狭义非直谓是广义非直谓的特殊情形.

参考资料

最新修订时间：2024-05-05 05:34

条目作者

概述

参考资料