formellt system
formellt system, inom filosofi och matematik benämning på ett axiomatiskt system (jämför axiom) vars språk och deduktiva apparat blivit helt formellt specificerade.
Språket är då givet genom dels uppräkning av ett ändligt antal tecken, dels formationsregler som anger hur tecknen får sättas ihop för att bilda formler. Vissa formler är utpekade som axiom, och en deduktiv apparat är given i övrigt genom ett antal slutledningsregler som anger vilka slutledningar som
Litteraturanvisning
Information om artikeln
Medverkande
Dag Prawitz
Källangivelse