adj.外延的；延伸的；客觀事實的
The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities. 摘要熟知的一階邏輯語義因為只論及個體對象而不涉及屬性實體而被認為是外延的。
