Aksiom: Forskelle mellem versioner
Content deleted Content added
m Robot: Kosmetiske ændringer |
|||
Linje 25:
== Aksiomer og teoremer ==
De sætninger, der bliver udledt af aksiomerne, kaldes ''teoremer''. Teoremerne bliver udledt ved hjælp af [[deduktion
Her er et eksempel fra Euklids geometri på en deduktion fra et aksiom til et teorem:
Linje 47:
|