窄域即“~∃x ∀y[(Gy↔y=x)&~Fx]”这样的形式,它将一切条件的肯否、状况等都规定了出来当然也包括Gy↔y=x,它是一般的带摹状词的语句的真实形式(否定也在它的形式之上),区别于宽域。
参考:
1. 这里的一切都是建立在罗素的体系之上的,罗素的宽窄域都用于摹状词之上,日常专名会被化为摹状词
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。