Source: /wikibot/herbrand-s-theorem

= Herbrand's theorem
{wiki=Herbrand's_theorem}