A rigorous demonstration that a mathematical statement follows from its premises and assumed axioms
Currently, there are no issues on this topic. Create one.