A lemma is a proven proposition used as a stepping stone to prove a larger theorem. It is essential in mathematical logic and proofs, providing foundational support for more complex arguments.