不可辯元

不可辯元是指論域中不能用一階公式區分的子集。

基本介紹

• 中文名：不可辯元
• 外文名：indiscernible elements

不可辯元，設娜為語言丫的一個模型，X是其論域A的一個子集，在X上有一個順序關係＜使X成為有序集（全序集），但＜未必是留中的關係.如果對X的任何兩個同長度的有限子序列x,GxzGwGx。及y}}yz}...}y,，都有

公式

（此式兩端都看做一個膨脹語言}U{’.，，。:，…，‘)}的模型），則稱x是那中一集（對於＜而言的）不可辯元.