Herbrand's theorem

From Wikipedia, the free encyclopedia

In mathematics, Herbrand's theorem may mean:

• The part of the Herbrand–Ribet theorem in number theory that was proved by Jacques Herbrand
• Herbrand's theorem (proof theory) in mathematical logic