狭义非直谓
(数学名词)
狭义非直谓(narrow impredicative)一种非直谓定义法.指用非直谓定义法所定义的对象在下定义时非借助于总体不可,亦即被定义的对象只能借助于这一总体才能定义时,则称之谓狭义非直谓。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】