2) Общее наименование для аксиом и правил вывода какого-либо исчисления. Большой Энциклопедический словарь ; В математике, логике: исходное положение, допущение, принимаемое без доказательств. (ngtmr)