theorem text on the screen of a mathematical calculator

theorem mathematics proof logic statement proposition axioms corollary hypothesis deduction reasoning validity conclusion algebra geometry analysis function theorematic application proving