 It may also be important to distinguish informal elements of a given mathematical proof from unformalizable elements (if there are any such  things).[3]  In Section 4, this issue will be taken up in connection with the use of diagrams in mathematical reasoning.