有窮擴張方法(finite extension method)一種遞歸論構造方法.其基本思想是:為構造能滿足需求o,k …的集合，構造一個{0,1}串的序列。oCQ1C。2里..，使得對任何B，如果。CCB，則B滿足需求R;，那么這樣的一個無窮序列將定義出一個能滿足所有R，的集合A.此方法能套用的關鍵是:對任何0,1有窮串。與需求Rn，必須找到。的一個有窮擴張r}Q，使得任何滿足C}}r的B都滿足需求R .一般用此方法構造非re集.
