Axioma: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k wikilink erbij, en waarom die ; en die . zijn weggehaald, wordt uit de toelichting niet duidelijk ('t is een ruchtlijn zeker) |
ἀξίωμα |
||
Regel 6:
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.
Het woord komt van het Griekse axíōma (ἀξίωμα) 'dat wat waardig of geschikt wordt geacht' of 'dat wat zichzelf aanbeveelt als evident'.
== Een voorbeeld van een theorie ==
| |||