1. мат. Твердження, правильність якого встановлюється доведенням. 2. Висновок, який можна зробити з основних положень логіки.