härledningssystem

Ett härledningssystem är ett formellt system som specificerar hur bevisföring i en given kontext går till. Ett sådant system kan bestå av enbart axiom eller av axiom och härledningsregler.