 Second, there is no agreement about what the standard is for an argument to qualify as a mathematical proof. According to what may be called the received view, a mathematical argument for a statement \(p\) constitutes an informal mathematical proof if the argument allows a competent mathematician to transform it into a formal deduction of \(p\) from generally accepted mathematical axioms (Avigad 2021). An informal mathematical proof can then be taken to be a derviation-indicator for \(p\) (Azzouni 2004). But the received view of the standard of mathematical proof has come under attack in recent years. It has been argued, for instance, that the interpolations of reasons in an informal mathematical proof until a logically correct and non-elliptical first-order derivation is reached, can be an infinite process (Rav 1999, p.14-15). Others are mounting a defence of the received view, so that there is a lively debate about these issues at the moment (Tatton-Brown forthcoming, Di Toffoli 2021).