1) axiom of extensionality
外延性公理
2) axiom of extension
延伸公理
3) extension principle
外延原理
1.
The extension principle for hybrid dynamic systems is introduced and the contractibility of estimator is analyzed in the framework of extension principle.
以混合动态系统的外延原理为工具分析了估计器的可压缩性问题。
4) proper extension
合理外延
1.
With scientific connotation and proper extension, harmony thoughts underline that it is the development in an all-round way, which includes the harmony between man and nature, person and person, man and society, man and himself, the harmony is the one in the development which can only be realized in developmen.
和谐思维具有科学内涵与合理外延,它强调了发展是包括人与自然的和谐、人与人的和谐、人与社会的和谐、人与自身的和谐在内的全方位的的发展,和谐是发展中的和谐,只有在发展中才能实现和谐。
5) intended truth
外延真理
1.
And nowadays the harmony of intended truth and extended truth is the key to the worl d s development .
在真理观问题上 ,亚里士多德的“符合论”真理观 ,即外延真理曾一度长期占据着统治地位。
补充资料：外延性公理
外延性公理
axiom of extensionality
外延性公理[‘姗of exte此i叨ality;浦货M毗.a，-。日角，a} 集合论公理之一，它断言当两个集合含相同元素时两集合相等: Vu Vv(Vx(x任u骨x〔v)劝u=v).在一个不含等号而且仅有一个谓词符号6的语言中，外延性公理形式为 V“V:(丫x{灭。u伪x6。)功丫z(u、_:骨即任:)). 外延性公理在Zermelo一Fr能nkel系统(Zermelo-竹aenkel system忆F中对于数学的形式化不具有实际的重要性.任何能在ZF系统中构作的对象都能在一个没有外延性公理的系统中刻画.设ZF一是通过在ZF中去掉外延性公理以及把其余公理中形如u=，，的公式替换为公式 岁x(x任u骨丫任飞)而得到的.那么可以证明在 ZF一中存在ZF的解释(inter-Pretation).类似的结论对于类型论也成立. 对于Qulne系统NF，‘它由消除类型论的类型标号而得，情况就不同:不能在NF一中解释NF.系统NF一‘除去外延性公理的NF)是一个颇弱的系统，而且它的相容性能在形式算术中证明，然而NF不弱于有无穷公理的类型论
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条