Ключевые слова: algebra, analysis, application, axioms, conclusion, corollary, deduction, function, geometry, hypothesis, logic, mathematics, proof, proposition, reasoning, statement, theorem, theorem proving, theorematic, validity,