Redigerer Aksiomatisk system

Et '''aksiomatisk system''' er et system som bygger på en rekke [[aksiom]]er, altså forutsetninger, som tilsammen danner grunnlaget for et logisk system eller en matematisk teori. Innenfor matematikk og de eksakte vitenskapene streber man etter systemer som er bygd opp på denne måten.

Et abstrakt matematisk system består som regel av gitte elementer (symboler, punkter, bokstaver) og visse regler for hvordan disse skal kombineres. Sammensetningen av alle aksiomene (aksiomsystemet) angir så egenskapene ved disse operasjonene, og de matematiske satsene (teoremene) følger fra aksiomene gjennom logiske slutningsregler. Særlig er en interessert i om en matematisk teori er motsigelsesfri, om den ikke kan lede til motsigelser slik som 3 = 4. Videre undersøkes om ett eller flere aksiomer kan være overflødige (redundante) ved at de kan avledes av de øvrige. Et aksiomsystem for en matematisk teori som bestemmer den entydig, sies å være kategorisk.

==Litteratur==

* {{Kilde bok | etternavn=Adams | fornavn=Robert | tittel=Calculus : a complete course | byrå=Addison-Wesley | sted=Toronto, Ont | dato=2003 | isbn=0-201-79131-5 | språk=english | ref={{sfnref | Adams | 2003 | p=A14-A15}}}}
* {{Kilde bok | etternavn1=Clapham | fornavn1=C. | etternavn2=Nicholson | fornavn2=J. | tittel=The Concise Oxford Dictionary of Mathematics | byrå=OUP Oxford | serie=Oxford Quick Reference | dato=2009 | isbn=978-0-19-157976-9 | url=http://books.google.com/books?id=WGxoVJcM4xgC | ref={{sfnref| Clapham | Nicholson | 2009}} | besøksdato=2016-08-30}}
* {{Kilde bok | etternavn=Lindstrøm | fornavn=T. | tittel=Kalkulus | byrå=Universitetsforlaget | dato=2006 | isbn=978-82-15-00977-3 | url=http://books.google.com/books?id=4E1ytwAACAAJ | språk=no | ref={{sfnref | Lindstrøm | 2006}} | besøksdato=2016-08-30}}
* {{Kilde bok | etternavn=Lindström | fornavn=S.B. | tittel=Matematisk ordbok för högskolan: engelsk-svensk, svensk-engelsk: | byrå=Stefan B. Lindström | dato=2013 | isbn=978-91-981287-0-3 | url=http://books.google.com/books?id=GgoaAwAAQBAJ&pg=PA126 | språk=sv | ref={{sfnref | Lindström | 2013 | p=6}} | besøksdato=2016-08-30}}

{{spire}}
{{Autoritetsdata}}

[[Kategori:Matematisk logikk]]
[[Kategori:Matematiske konsepter]]