优先方法

穆契尼克（A. A.y）（1956）和弗里德伯格（R. M. Friedberg）（1957）各自独立地解决波斯特问题时所使用的一种方法。其基本思想是：在证明中需要构造一个递归的集合序列，构造要满足两组条件，其中一组称为正需求，另一组称为负需求。为满足正需求可能需要将某个数放入序列中，而为了满足负需求则可能需要禁止将某些数放入序列中。这两种需求可能会发生矛盾，正需求可能会损害负需求。为解决矛盾先将全部需求排一个优先次序，在构造序列的过程中规定任意一个正需求都不准损害优先于它的负需求，这样每个负需求都只可能会被它前面的正需求损害，而不会被它后面的正需求损害。因为每个负需求前面仅有有穷多个正需求，这样就会使得对任意一个负需求都能够在一有穷步内使得其前面的正需求都得到满足，在此之后该负需求再也不会受到损害。