– Evklid geometriyasınıń barlıq aksiomalar bazasın anıqlaw ushın islep shıǵılǵan sistema. Bul sistema 5 gruppadan turadı: 1) tutastırıw aksiomaları; 2) tártip aksiomaları; 3) teńlik aksiomaları; 4) parallel tuwrılar haqqındaǵı aksiomalar; 5) úzliksizlik aksiomaları.