(Лат.: postulatum - требование; 1593). Положение (утверждение), принимаемое в рамках какой-либо научнойтеории за первооснову логическойдедукции и поэтому в данной теории играющее роль аксиомы (наряду с аксиомами логики). В этом смысле постулаты теории выступают как её основные абстракции, причём по отношению к ним применимы оценкинезависимости, непротиворечивости и полноты. Термин «постулат» употребляют и в более широком смысле как общее имя для правилпреобразования (логических и нелогических аксиом, определений и правил вывода) формализованных теорий. Античная традиция, восходящая к «Началам» Евклида, отличала постулаты от аксиом как условия построения от условий доказательства. В контексте проблематики оснований математики встречается понимание постулатов как спорных (в отличие от аксиом, неочевидных) положений, включение которых в число исходных абстракций не приводит, однако, к противоречию.
Разрешается некоммерческое цитирование материалов данной энциклопедии при условии полного указания источника заимствования: имени автора, названия и WEB-адреcа данной энциклопедии