Mantiq tushunchasi Mantiq fani qadimgi Yunoniston, xususan, Afinada paydo bo'lib, keyinchalik Markaziy Osiyo, jumladan Buxoro va Samarqand kabi shaharlarda 10 dan ortiq asr davomida rivojlangan. Mantiqning asosiy qonunlari – identifikatsiya, qarama-qarshilik va chiqarish qonunlari – miloddan avvalgi 4-asrda Aristotel tomonidan shakllantirilgan bo'lib, 2000 yildan ortiq vaqt davomida falsafa va matematikada muhim rol o'ynaydi. Axloq tushunchasi Aksiomatika usuli matematikada va mantiqda 20-asrda keng qo'llanila boshlandi, Hilbertning geometriya aksiomalarini shakllantirish ishi bu usulning samaradorligini ko'rsatadi. Aksiomalar, masalan, geometriyadagi 5 ta postulat yoki arif