– hár qıylı geometriyalardı (Evklid geometriyası, Lobachevskiy geometriyası h.t.b.) deduktivlik (aksiomatikalıq) jasawdı úyrenetuǵın matematikanıń tarawı. Geometriyanıń tiykarlarına Evklidtiń besinshi postulatın dállilewge háreket etiwler tariyxı haqqındaǵı másele, sonday-aq, aksiomalar sistemasın izertlewdiń ulıwma máseleleri (qarama-qarsılıqsızlıq, ǵárezsizlik hám tolıqlıq) kiredi.