Herbrands sætninger

Der er flere teoremer forbundet med navnet på den franske matematiker Jacques Herbrand :

Herbrands teorem er et grundlæggende resultat af matematisk logik, der forbinder førsteordenslogik med propositionel logik .
Deduktionssætningen er en sætning om sammenhængen mellem implikation og inferens i logiske systemer.
Herbrand-Ribet-sætningen er en sætning fra gruppeteori .
Herbrands sætning om grengrupper .

Liste over betydninger af et ord eller en sætning med links til relevante artikler .
Hvis du kom hertil fra teksten i en anden Wikipedia-artikel, skal du gå tilbage og forfine linket for at pege på den korrekte artikel.