ARXIMED AKSIOMASI

ARXIMED AKSIOMASI – berilgan ikki kesmaning kichigini bir necha marta takrorlab, har doim kattasidan kattaroq kesma hosil qilish mumkinligi to’g’risidagi aksioma. Arximed aksiomasini yuzalar, hajmlar, sonlar va boshqalarga ham tatbiq qilish mumkin. Masalan, har qanday ikki musbat son a va b uchun a>b tengsizlikni qanoatlantiruvchi natural son p doimo topiladi. Bu aksioma Arximed tomonidan «shar va tsilindr» asarida aniqravshan tavsiflab berilgan. Arximed aksiomasini ba’zan Evdoks aksiomasi deb ham atashadi, chunki uni ilgariroq Evdoks Knidskiy qo’llagan. Arximed aksiomasidan miqdorlarni o’lchashda, ikki kesmaning umumiy o’lchovini topish va boshqa masalalarni hal qilishda foydalaniladi.