Aksiom: Forskelle mellem versioner
Content deleted Content added
Formmæssige ændringer |
m Robot: Kosmetiske ændringer |
||
Linje 23:
== Aksiomer og teoremer ==
De sætninger, der bliver udledt af aksiomerne, kaldes ''teoremer''. Teoremerne bliver udledt ved hjælp af [[deduktion|deduktion.]]
Her er et eksempel fra Euklids geometri på en deduktion fra et aksiom til et teorem:
Et aksiom: ”Alle rette vinkler er lige store.”
Ud fra dette aksiom kan man deducere (slutte sig til)
Et teorem: ”Vinkelsummen i en retvinklet trekant er lig med summen af to rette vinkler.”
Linje 53:
== Se også ==
* [[Logik]]
* [[Bevis (matematik)|Bevis]]
* [[Hypotese]]
* [[Matematisk bevis]]
| |||