Toshkent viloyati chirchiq davlat pedagogika insituti aniq fanlar fakulteti informatika õqitish metodikasi yo’nalishi 19/2-guruh talabasi temirov akromningning diskret matematika va matematik mantiqfanidan

Matematikada Aksioma qadimgi yunon geometrlari asarlarida shakllana boshlagan. Yevklidning Negizlar (mil.avv.300-yillar) asarida bayon etilgan 272 geometrik sistema Aksioma bilan nazariya qurish namunasidir. 19- asrning ikkinchi yarmidan matematikaning turli sohalari aksioma bilan qurila boshlandi (turli geometryalar, arifmetika, ehtimollar nazariyasi va boshqalar). Aksiomaning keyingi tarraqqiyoti, mukammallashuvi D.Gilbert kiritgan formal sistema va formalizm metodi bilan bogliq. Qadimda fanlar, shu jumladan falsafaning turli bolimlari aksiomalar tarzida bayon qilishga urinib korilgan.(Nyuton, Spinoza, Farobiy va boshqalar)