(Within mathematic and logic) a mathematical statement that can be proven.