Herbrandovy věty

Se jménem francouzského matematika Jacquese Herbranda je spojeno několik teorémů :