Herbrand teoremi

"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.

Herbrand teoremi için benzer kelimeler

Herbrand teoremi, 16 karakter ile yazılır. Ayrıca, H harfi ile başlar, i harfi ile biter. Tüm karakter dağılımı ise, 'H', 'e', 'r', 'b', 'r', 'a', 'n', 'd', ' ', 't', 'e', 'o', 'r', 'e', 'm', 'i', şeklindedir.
Herbrand teoremi kelimesinin tersten yazılışı imeroet dnarbreH diziliminde gösterilir.