In fact, the vast majority of proofs in written mathematics can be considered as applications of rigorous informal logic.
Όντως, η συντριπτική πλειονότητα των αποδείξεων στα γραπτά μαθηματικά μπορούν να θεωρηθούν εφαρμογές της άτυπης λογικής.