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

AKSIOMATIK METOD.

AKSIOMATIK METOD.

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. Yansi tushunchalar nazariyaga formal tariflash yoli bilan kiritiladi. Aksiomalar tizimi ziddiyatsizlik, tolalik va bogliqsizlik shartlarini qanoatlantirishi lozim. Bitta ilmiy nazariyani turli aksiomalar tizimiga asoslanib ham qurish mumkin. Masalan, haqiqiy sonlar nazariyasining turli qurish usullari mavjud.