In mathematics, a statement that has been proven
Ratings
0
Nobody has rated this yet. Be the first!
Instances
11
Subclasses
1
Influences rating
Influences rating
Lists
0
In mathematics and formal logic, a theorem is a statement that has been proven, or can be proven. The proof of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems.