?????????, ??? ????? ???????? ???
?????
(theorem) ???
??????
??? ??? ???? (statement) ????? ?? ??? ??? ?????? ???? ?????? ??????? ??? ????????? (axioms) ?? ??? ??? ??? ???? ?? ???? ???? ????? ?? ?????? (?????) ?? ??? ????? ???? ???????? (hypotheses) ???? ????? ?????? ??? ???? ?? ??? ???? ??? ?????? ???
?????
[
????
]