... 外延定义 denotative definition 外延公理 axiom of extensionality 外延函数 extensive function ...
基于2300个网页-相关网页
... axiom for dependency依赖性公理 axiom of extensionalityn.外延性公理 addition and division axiom加法除法原理 ...
基于138个网页-相关网页
比方{1,1,1}在大学也叫汇合,并且等于{1} 这触及到汇合论的公理,本人只说一下 外延公理 ( Axiom of Extensionality ) 称 A=B, 假如 x 属于 A 当且仅当 x 属于 B 这条公理看起来很普通,仿佛是显然的,相似地,有下面的外延用法 p且q 真当且仅当 p,q ...
基于12个网页-相关网页
以上来源于: WordNet
应用推荐