In mathematics and logic, a lemma is a proven proposition used as a stepping stone to a larger result or theorem. They are critical in simplifying proofs and establishing foundational results that support more complex arguments.