“All mathematical proofs must be deductive. Each proof is a chain of deductive arguments, each of which has its premises and conclusion.”