axiom of extensionality的意思|示意

外延公理 ... 外延定义 denotative definition 外延公理 axiom of extensionality 外延函数 extensive function ...

外延性公理 ... axiom for dependency依赖性公理 axiom of extensionalityn.外延性公理 addition and division axiom加法除法原理 ...

公理 比方{1,1,1}在大学也叫汇合,并且等于{1} 这触及到汇合论的公理,本人只说一下 外延公理 ( Axiom of Extensionality ) 称 A=B, 假如 x 属于 A 当且仅当 x 属于 B 这条公理看起来很普通,仿佛是显然的,相似地,有下面的外延用法 p且q 真当且仅当 p,q ...