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 hører Kurt Gödels påvisning af, at alle deduktive systemer med en vis kompleksitet, fx elementær aritmetik, er ufuldstændige i den forstand, at der findes udtryk i disse systemer, hvor hverken udtrykket eller dets negation kan udledes.
Kommentarer
Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.
Du skal være logget ind for at kommentere.