Aksoimalarga asoslanib ilmiy nazariya qurish usuli. Asos qilib olingan aksiomalar tizimi (aksiomatika) muayyan nazariy tizimda isbotsiz haqiqiy deb qabul qilinadi. Boshqa nazariy bilimlar, xulosalar tola ravishda aksiomatikadan deduktiv yol bilan chiqariladi. Geometrik konstruktsiyalarni o'rganadigan geometriya bo'limi konstruktiv geometriya deb nomlanadi.