Herbrand teoremi anlamı İng. Herbrand's teorem Alm. Herbrandscher Satz Fr. théorème de Herbrand Az. Herbrand teoreması
"Bir S cümlecik kümesinin (daha doğrusu onun temsil ettiği formülün) tutarsız olması için gerek ve yeter koşul, S'ye ilişkin cümleciklerin zemin örneklerinin sonlu tutarsız bir alt kümesinin var olmasıdır," önermesi.