Arximed aksiomasi

Arximed aksiomasi - berilgan ikki kesmaning kiçigini bir neça marta takrorlab, har doim kattasidan kattaroq kesma hosil qiliş mumkinligi töğrisidagi aksioma. A.a.ni yuzalar, hajmlar, sonlar va b.ga ham tatbiq qiliş mumkin. Mas, har qanday ikki musbat son a va b uçun a>b tengsizlikni qanoatlantiruvçi natural son p doimo topiladi. Bu aksioma Arximed tomonidan «Şar va silindr» asarida aniqravşan tavsiflab berilgan. A.a.ni ba'zan Yevdoks aksiomasi deb ham ataşadi, çunki uni ilgariroq Yevdoks Knidskiy qöllagan. A.a.dan miqdorlarni ölçaşda, ikki kesmaning umumiy ölçovini topiş va b. masalalarni hal qilişda foydalaniladi.