Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Аксиома Архимеда
Аксиома, известная в математике как аксиома Архимеда, в действительности была впервые сформулирована Евдоксом Книдским. Это предложение играло ключевую роль в его теории отношений, которая, по существу, являлась первой аксиоматической теорией действительного числа. Поэтому её также называют аксиомой Евдокса.