кірунак у асновах матэматыкі, у якім зыходныя паняцці матэматыкі зводзяцца да паняццяў логікі. Ідэі Л. прапанаваны Г.В.Лейбніцам. У сістэматызаваным выглядзе выкладзены Г.Фрэге ў кн. «Асноўныя законы арыфметыкі» (т. 1—2, 1893—1903). Ён прапанаваў звядзенне асноўнага для матэматыкі паняцця натуральнага ліку да аб’ёмаў паняццяў і распрацаваў лагічную сістэму, сродкамі якой можна было даказаць усе тэарэмы арыфметыкі. Дактрына Л. развіта Б.Раселам, які выявіў у сістэме Фрэге супярэчнасць («парадокс Расел», гл.Парадокс). У кн. «Прынцыпы матэматыкі» (т. 1—3, 1910—13) Расел і А.Н.Уайтхед прапанавалі т.зв. тэорыю тыпаў, у якой парадоксаў можна пазбегнуць пры дапамозе спец. іерархіі паняццяў. У далейшым К.Гёдэль паказаў, што сістэмы Л. няпоўныя, іх сродкамі можна сфармуляваць змястоўна правільныя, але не вырашальныя матэм. сцвярджэнні (сцвярджэнні, якія нельга даказаць і нельга абвергнуць). Сістэмы Л. садзейнічалі фарміраванню і ўдакладненню важнейшых логіка-матэм. ідэй, зрабілі значны ўплыў на развіццё матэматычнай логікі і навукі.
Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)
«КОН-ЦІ́КІ»
(назва ад імя бога інкаў),
плыт з бальзавых дрэў з трысняговым парусам, зробленым Т.Хеердалам на ўзор старажытнаперуанскіх плытоў. У 1947 на «К.-Ц» (пл. каля 100 м²) Хеердал разам з 5 спадарожнікамі здзейсніў плаванне, выкарыстоўваючы спадарожныя цячэнні і пасаты, з Кальяо (Перу) да а-воў Туамоту ў Ціхім ак. (каля 8 тыс.км за 101 суткі), каб даказаць магчымасць засялення Палінезіі з У. Захоўваецца ў музеі ў г. Осла.
Тлумачальны слоўнік беларускай літаратурнай мовы (І. Л. Капылоў, 2022, актуальны правапіс)
dowieść
зак.
1. давесці, даказаць;
2. давесці, прывесці
Польска-беларускі слоўнік (Я. Волкава, В. Авілава, 2004, правапіс да 2008 г.)
«РА»
(ад імя стараж.-егіп. бога сонца),
лодка, пабудаваная з папірусу паводле ўзору стараж.-егіп. суднаў нарв. этнографам і падарожнікам Т.Хеердалам. Даўж. 12 м, шыр. 5 м. На «Ра» Хеердал з інтэрнац. экіпажам з 7 чал. распачаў экспедыцыі з мэтай даказаць магчымасць плавання стараж. егіпцян цераз Атл.ак. у Амерыку. 1-я экспедыцыя (1969) скончылася няўдачай з-за дэфектаў канструкцыі судна. У 1970 «Ра-2», якая выйшла з порта Сафі (Марока), за 57 дзён дасягнула в-ва Барбадас.