Aksioma

Aksioma (qadimgi yunoncha: ἀξίωμα — axioma) — oʻz-oʻzidan ravshanligi, ayonligi sababli is-botsiz qabul qilinadigan holat, tasdiq, fikr. Deduktiv quriladigan ilmiy nazariyalarda asosiy tushunchalarning boshlangʻich xossalari. Aksiomalar tizimi bilan kiritiladi va boshqa hamma xossalar, tasdiqlar (teoremalar) ulardan foyda-lanib mantiqiy isbot qilinadi. Ayniyat qonuni, ziddiyat qonuni, uchinchi istisno qonuni mantiqiy Aksioma hisoblanadi. Aksiomaga misol sifatida Yevklid geometriyasiiat parallellik Aksiomasini keltirish mumkin: „Tekislikda a toʻgʻri chiziqqa tegish-li boʻlmagan O nuqta orqali shu toʻgʻri chiziqqa bittadan ortiq parallel toʻgʻri chiziq oʻtkazish mumkin emas“. Arximed aksiomasi, Sermelo aksiomasi va boshqa Aksioma atamasi Yunonistonda paydo bulgan, birinchi marotaba Aristotel asarlarida ishlatilgan.Abu Nasr Forobiy, Umar Xayyom, al-Xorazmiy va boshqa allomalar ham Aksiomani atroflicha tekshirishgan.

Yana qarang

• Teorema
• Gipoteza
• Dogma