In fact, the vast majority of proofs in written mathematics can be considered as applications of rigorous informal logic.
De feito, a maior parte das probas das matemáticas escritas pódense considerar aplicacións da lóxica informal rigorosa.