Verilmiş həndəsi qaydalar arasında məntiqi əlaqəni (məsələn, “əlaqəlik”) tapır; deduktiv və induktiv mühakimədən istifadə edir;
Ayrıca həndəsi qaydaları ümumiləşdirir; hipotezi formalaşdırır və onun əsaslandır/inkar edir (o cümlədən riyazi induksiyadan istifadə etməklə; məsələn, müstəvidə və fəzada Eyler düsturu);
Həndəsi qaydaları isbat etmək üçün cəbri çevirmələrdən istifadə edir.
