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