6.3 Различные виды доказательств в математике