Axioma: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
k Wijzigingen door 178.118.209.230 (Overleg) hersteld tot de laatste versie door Vinvlugt |
||
Regel 3:
* axioma's mogen niet met elkaar in tegenspraak zijn
* axioma's mogen niet uit andere axioma's afgeleid kunnen worden
Als axioma's met elkaar in tegenspraak zijn dan is een theorie [[consistentie (logica)|inconsistent]]. Een axioma dat uit andere axioma's afgeleid kan worden is geen axioma, maar een bewezen [[stelling (wiskunde)|stelling]]. Een [[verzameling (wiskunde)|verzameling]] van axioma's is dan ook de kleinst mogelijke verzameling van veronderstellingen die een theorie mogelijk maken.
| |||