The idea of a classic mathematical proof is to begin with a series of axioms, statements which can be assumed to be true or which are self-evidently true. Then by arguing logically, step by step, it is possible to arrive at a conclusion. If the axioms are correct and the logic is flawless, then the conclusion will be undeniable. This conclusion is the theorem.