Herbrand teoremi

Herbrand teoremi İng. Herbrand's teorem

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

Herbrand tabanı

Herbrand yorumu

A.A.A. benzerlik teoremi

A sınıfına ait Nevanlinna teoremi

Abel düzgün yakınsaklık teoremi

Abel teoremi

Aitken teoremi

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.