It is not a mathematical system unlike the other options
2.
d) Theorem.
In mathematics and logic, a theorem is a non-self-evident statement that has been proven to be true, either on the basis of generally accepted statements such as axioms or on the basis of previously established statements such as other theorems. (Wiki definition)
