geometrieverstelling
Een geometrieverstelling is een declaratieve zin die een relatie of eigenschap beschrijft tussen meetkundige objecten zoals punten, lijnen, hoeken en figuren. Zulke uitspraken kunnen waar of onwaar zijn en worden vaak geformuleerd met kwantoren als voor alle en er bestaat, en met relaties als congruentie, symmetrie, hoekmaat en parallelisme. In een axioma-gestuurd geometrie-stelsel, zoals de Euclidische geometrie, worden geometrieverstellingen onderzocht binnen een systeem van definities en basisstellingen.
Een geometrieverstelling kan worden bewezen of weerlegd door logisch redeneren. Als hij uit de axioma's volgt,
Voorbeelden: de som van de binnenhoeken van een driehoek is altijd 180 graden; in een rechthoekige driehoek
Geometrieverstellingen vormen een kernonderdeel van de geometrie en bieden houvast voor het beschrijven en bewijzen van