Aksiom: Forskelle mellem versioner

Content deleted Content added
m Gendannelse til seneste version ved Addbot, fjerner ændringer fra 188.176.18.118 (diskussion | bidrag)
m Ingen kilder.
Linje 1:
{{Ingen kilder}}
 
Et '''aksiom''' er en '''grundantagelse''', der antages at være sand, og som ligger til grund for et større system af sætninger. I et sådant logisk system har man altså et sæt aksiomer, man ikke beviser, men bruger som det fundamentale grundlag til at bevise andre sætninger i teorien.