Sense #0 contexts

… стала особенно важной областью математики. Метаматематика изучает, в частности, устройство доказательств и аксиоматических систем в различных разделах математики, таких как арифметика, геометрия, теория множеств: что …

… социальных фактов, нельзя отождествлять с гипотетико-дедуктивным методом (частным случаем применения дедуктивно- аксиоматического метода), особенно с позитивистски растолкованным его вариантом -- методом эмпирической интерпретации теории. Нельзя …

… концептуального поиска и рассматриваются возможные подходы к ее решению. Второй целью является аксиоматическое построение системы понятий и терминов концептуальной информатики. Основой аксиоматического построения системы терминов …

… . Второй целью является аксиоматическое построение системы понятий и терминов концептуальной информатики. Основой аксиоматического построения системы терминов является предлагаемое смысловое разграничение понятий знания, информация, коды, данные …

… модель, не изоморфная натуральному ряду. Ввиду фундаментальной важности этого факта (означающего невозможность аксиоматического определения натурального ряда с использованием указанных средств) изложим его подробнее. Будем записывать …