geometriakielessä
Geometriakielessä viitataan tapaan, jolla geometrian ilmiöt ja laskelmat esitetään sekä luonnollisella että muodollisella notaatio- ja määritelmäkielellä. Kielen tavoitteena on ilmaista geometrian objektiot, suhteet ja todistukset täsmällisesti ja toistettavasti, jolloin ymmärrys ei riipu yksittäisestä sanasta vaan sen käyttämästä symboleista ja rakenteesta.
Peruskäsitteet ja notaatio muodostavat geometriakielen rungon. Keskeisiä käsitteitä ovat piste, viiva, jana, taso, kulma sekä yleisemmät
Aksiomien ja todistusten rooli on keskeinen: geometriakieltä sovelletaan sekä perinteisessä että modernissa geometriassa, jossa muodostetaan looginen
Käyttöalueina geometriakieltä hyödyntävät opetuksessa, todistuksissa sekä automaattiteoreettisessa todistuksessa ja pyritään tarjoamaan selkeän ja johdonmukaisen tavan kommunikoida