- твердження, яке визнане істинним і яке використовують для до­ведення іншого твердження.