Bruger:Burningbrand/sandkasse: Forskelle mellem versioner
Content deleted Content added
Linje 5:
ZFC Aksiomerne er fundamentet for de fleste matematiske teoremer, dog skal det bemærkes at aksiomerne fremkom som de aksiomer som tillod at bevise de teoremer man mente var rigtige og ikke omvendt.
Aksiomerne bruges til at bevise udsagn om mængder ved en veldefinered proces, en beviskæde med et endelig antal skridt, som udgør et bevis:
Dette gøres udelukkende ved anvendelse af tre forskellige metoder i beviskæden: For hvert trin i beviskæden 1) at referere hvilket aksiom der anvendes eller 2) anvende en tautologi (som er sande i sig selv ) eller 3) modus ponens ( samtidig anvendelse af to tidligere beviste udtryk i beviskæden ). Dette gør det muligt og helt klart at der er tale om et bevis.
| |||