A theorem is a mathematical statement that has been proven to be true based on previously established statements and axioms. The process of proving a theorem involves logical reasoning and deduction, ensuring the statement's validity within a given mathematical framework.