波斯特系统(Post system)亦称波斯特正规系统或组合系统，一种形式系统，它是由波兰一美国数理逻辑学家波斯特(Post，E. L.)于20世纪20年代研究并在1943年发表的。：它在形式上与逻辑中的形式系统十分相像，具体地，所谓波斯特系统PS，包括一个字母表艺(其中的常元和变元分别组成二和v，且}=yU}v>，}上的字组成的有穷公理集s(S中字也称原始假设)和一个有穷的产生程序尸，尸中的元素为形如(al，aZ，...，a}a)的n元产生式(W为某个自然数)；其中a都是艺上的字，这种产生式记为al，aZ，...，an->a.在运用此产生式时，先把诸a中的变元都用艺。中的字一致地替代(即同一变元用相同的字替代)，这样便得到反，，反2，，吞，，。.此时可依产推出"a.若aEW，并且从PS的公理S出发，有穷多次运用P中的产生式可以推出Q，则称Q为PS的一个定理.PS的全体定理组成波斯特系统PS产生的语言LIPS)一个语言L可以被某个波斯特系统产生，当且仅当L为递归可枚举的。