Which one of the following is a correct statement regarding a theorem?
1
A statement without sufficient evidence for proof.
2
A statement which is always true and doesn't need proof.
3
A statement whose truth or falsity is not known.
4
A statement that has been proven by logical reasoning based on axioms.