In fact, the vast majority of proofs in written mathematics can be considered as applications of rigorous informal logic.
Gerçekten de matematikte yazılan tanıtların büyük çoğunluğu informel mantığın uygulaması olarak kabul edilebilir.