Herbrandin lauseet

Ranskalaisen matemaatikon Jacques Herbrandin nimeen liittyy useita lauseita :