Понятие строгости математического доказательства у И. Лакатоса и Ж. Дьедоннестатья