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
(35 av 247 ord)
Vill du få tillgång till hela artikeln?
Medverkande
Litteraturanvisning
A. Church,
Introduction to Mathematical Logic (
utvidgad upplaga 1956);
S.C. Kleene,
Introduction to Metamathematics (
1952).
Källangivelse
Nationalencyklopedin,
formellt system.
http://www.ne.se/uppslagsverk/encyklopedi/lång/formellt-system