Talk:Proof (mathematics)
Jump to navigation
Jump to search
Directed link
We should make clear that the link is directed from "ascertained" (axioms) to "non-ascertained" (theorem), since in practice one often makes algebraic transformations in the opposite direction, and sometimes forget to bother about correctness of the needed direction. Boris Tsirelson 17:17, 21 November 2009 (UTC)