Metode

Man opstiller et sæt definitioner og konsistente aksiomer og benytter så deduktiv logik til at bevise en række teoremer ud fra aksiomerne.

http://en.wikipedia.org/wiki/Axiomatic_system

Jamen er det så, hvis man bruger nogle sætninger, som man ikek har bevis for?

Jeg har kigget på det link, men forstår stadig ikke helt, hvad det er for noget.

Hvordan er axiomatisk deduktive metode forskellig fra matematisk modellering? Vi har lige haft et AT-forløb, hvor vi har brugt binomialfordeling, men kan ikke se, hvorfor vi har brugt den axiomatiske metode. Eller om det overhovedet er os, der har brugt den, eller om det bare er matematikken, der er baseret på den axiomatiske deduktive metode.