A derivation built on non-logical axioms does not constitute a logical demonstration in the sense re...