deduktivt system
Deduktivt system, i logikken et aksiomsystem, hvor både aksiomerne og de tilladte slutningsregler er formuleret eksplicit, oftest i et formelt sprog. Mange matematiske teorier kan formuleres som deduktive systemer, fx elementær aritmetik og gruppeteori. Til landvindingerne inden for moderne logik