O‘zbekiston respublikasi oliy va o‘rta maxsus ta’lim vazirligi farg‘ona davlat universiteti matematika informatika fakulteti

Aksiomatik metod
Aksiomatik metod – aksiomalarga asoslanib ilmiy nazariya qurish usuli. Asos qilib olingan aksiomalar tizimi (aksioma-tika) muayyan nazariy tizimda isbotsiz haqiqiy deb kabul qilinadi. Boshqa nazariy bilimlar, xulosalar to‘la ravishda aksiomatikadan deduktiv yo‘l bilan chiqariladi.
Yangi tushunchalar nazariyaga formal ta’riflash yo‘li bilan kiritiladi. Aksiomalar tizimi ziddiyatsizlik, to‘lalik va bog‘liqsizlik shartlarini qanoatlantirishi lozim. Bitta ilmiy nazariyani turli aksiomalar tizimiga asoslanib ham qurish mumkin. Masalan, haqiqiy sonlar nazariyasining turli qurish usullari mavjud.
Matematikada Aksioma qadimgi yunon geometrlari asarlarida shakllana bosh-lagan. Evklidning "Negizlar" (mil. av. 300-yillar) asarida bayon etilgan 272 geometrik sistema Aksioma bilan nazariya qurish namunasidir. 19-asr ikkinchi yar-midan matematikaningning turli sohalari Aksioma bilan qurila boshlandi (turli geometriyalar, arifmetika, ehtimollar na-zariyasi va boshqalar).
Aksiomaning keyingi taraqqiyoti, mu-kammalashuvi D. Gilbert kiritgan for-mal sistema va formalizm metodi bilan bog‘liq. Qadimda fanlar, shu jumladan falsafaning turli bulimlarini aksiomalar tarzida bayon qilishga urinib ko‘rilgan (Nyuton, Spinoza, Forobiy va boshqalar).