Theorie
Een wiskundige theorie bestaat uit
- Een aantal definities van begrippen.
- Een zo klein mogelijk aantal basisaannames, ook wel axioma's genoemd.
- De stellingen, dat wil zeggen beweringen die door middel van logisch redeneren kunnen worden afgeleid uit de axioma's. Zo'n logische redenering heet het bewijs van de stelling.
In de vlakke meetkunde heb je
- de begrippen punt, lijn, lijnstuk en hoek die voor iedereen duidelijk worden verondersteld;
- een lijst met definities van begrippen;
- precies vijf axioma's.
