Энциклопедия Кольера - аксиома

postulatum), т.е. утверждение, имеющее конкретное геометрическое содержание, которое требуется принять без доказательства ради последующего рассуждения, воздерживаясь от его оценки. Такое различие сохранилось ныне только в элементарной математике. Что же касается высших разделов математики, то здесь термин "постулат" используется почти исключительно в смысле допущения чисто логического содержания.

Хотя несовершенство постулатов Евклида было осознано довольно давно, считалось, что они тем не менее правильно описывают свойства пространства в рамках человеческого опыта. Дж. Саккери (1667-1733) пытался доказать постулат о параллельных (через точку P, лежащую вне прямой L, можно провести одну и только одну прямую, параллельную L); Н.

Из-за возросшей роли постулатов в математической системе их теперь анализируют более тщательно, чем когда-либо раньше. Разумеется, постулаты должны быть непротиворечивы, но весьма желательно, чтобы они были независимы, а число их было минимально. В некоторых случаях постулаты должны образовывать полное множество. Не вдаваясь в детали, можно сказать, что множество постулатов называется полным, если оно позволяет решить, истинно или ложно любое утверждение из области применимости постулатов, или, иначе говоря, если к этому множеству невозможно добавить новые постулаты, не впадая при этом в противоречие или избыточность.