Mathematician Kurt Godel proved two "Incompleteness" versions of these, while Abel's version of these relates a limit for a power series to the sum of its coefficients. Postulates are used to prove these, which have a "fundamental" version for nearly each major branch of mathematics. These mathematical statements are generally portions of a larger whole, and depend on mathematical assumptions and goals to prove. For 10 points, name these mathematical statements that can be demonstrated to be true by accepted mathematical operations.
A) Equations
B) Conjectures
C) Proofs
D) Theorems