Ayrıca həndəsi qaydaları ümumiləşdirir; hipoteziformalaşdırır və onu əsaslandırı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);
Evklid həndəsəsinin aksiomatikasının nöqsansızlığı haqqında mülahizə yürüdür;
Həndəsi qaydaları isbat etmək üçün cəbri çevirmələrdən istifadə edir.