广义非直谓
数学术语
广义非直谓(generalized impredicative)一种非直谓定义法,指既可用非直谓定义法定义,又可用直谓定义法重新定义的对象。
亦即被定义对象并非只能借助于包括它的总体来加以定义者,称为广义非直谓的.例如,李家庄村年纪最大的人H.这里定义H时借助于李家庄村所有的人所组成的总体G, 因而是用非直谓定义法定义H的.但也可不借助于 G而用直谓定义法重新定义之.如“李大娘的老伴”、 “王小二的祖父”等直谓地定义H.
参考资料
最新修订时间:2024-06-14 20:25
目录
概述
参考资料