Innehållsförteckning
4 relationer: Härledningssystem, Søren Hjalmar Normann Berner, Sund (olika betydelser), Teorem (logik).
Härledningssystem
Ett härledningssystem är ett formellt system som beskriver bevisföringen i en given kontext.
Se Sundhet och Härledningssystem
Søren Hjalmar Normann Berner
Søren Hjalmar Normann Berner, född den 1 december 1850 på Hadsels prästgård i Nordland, död den 2 juni 1923 i Oslo, var en norsk läkare, kusin till Hagbard Emanuel, Carl Christian Berner och Axel Olaf Berner.
Se Sundhet och Søren Hjalmar Normann Berner
Sund (olika betydelser)
Sund kan syfta på.
Se Sundhet och Sund (olika betydelser)
Teorem (logik)
Ett teorem är en formel i ett formellt system om det finns ett bevis i systemet som avslutas med denna formel.
Även känd som Sunt.

