Энциклопедический словарь

(от лат. postulatum - требование) - 1) утверждение (суждение),принимаемое в рамках какой-либо научной теории за истинное, хотя инедоказуемое ее средствами, и поэтому играющее в ней роль аксиомы. 2)Общее наименование для аксиом и правил вывода какого-либо исчисления.