Proves that in any consistent mathematical system, there are statements that are true but cannot be proven. Theorems vs. Conjectures
: A "helper" result. Lemmas are smaller theorems used as stepping stones to prove a larger, more significant result. theorem
: The logical argument that demonstrates why a theorem must be true. Modern proofs must follow strict rules of inference to be accepted by the mathematical community. Proves that in any consistent mathematical system, there