УЧЕНЫЕ ЗАПИСКИ: МАТЕМАТИЧЕСКИХ КАФЕДР. ВЫП.2.1969

2 - е п р ав и л о , необходимо зам ен ять определяемые поня­ тия их определениями / праьило П а с к а л я 7. ^уТЬ э т о г о п р а ­ вила со стои т в том , ч то термины ,содержащиеся б условии вадачи или теоремы и выражающие к ак и е-л и б о понятий /б и сс ек тр и са ,р ом б ,о к р уж н о ст ь ,л о га р иф м и т .п J , надо з а ­ м ен ять опрелелениями с т ем , чтобы в дальнегшем ч"и оп р е­ делений ( а не термин ,конечнс^/ и сп о л ь зо в а ть для логически* умозаключений в процессе решении задачи или д о к а з а т е л ь с т в а теоремы . Не п о л ь зо в а т ь с я же при решении за д а чи каким -либо определением понятия,содерж ащ его ся в ее у сл о в и и .н е л ь вЯ , та к как .это все р а в н о ,ч т о не и с п о л ь зо в а т ь полностью у с л о ­ вия задачи при ее решении ( см . 1 - е п р а в и л о /. П аскаль считал э то правило основой всей л о ги ки , . , Адамар т а к же считал это пр ави ло весьма важным. Вот что оа пишет по поводу э т о г о п р ав и л а: "Только ч т о высказанное правило я в л я е т с я , быть может, самым важный ио в с е х , киторык нам придется з д е с ь р а с см а т р и в а т ь . &го зн ач ен и е с т ан о в и т с я особенно важным, если у ч е с т ь , что многие вспомогательные п о стр о ен и я, которые и н о гд а п р е д с т а в л я е т с я на первый в зг л я д совершенно произвольными, являются простим приложением это­ го правила.