формальних системах неозначуване поняття (невизначене поняття, примітивне поняття, англ. primitive notion) — це початкове, базове поняття, визначення якого...
9 KB (536 words) - 19:57, 21 June 2022
Об'єкт категорії - неозначуване поняття теорії категорій. Термін, використовуваний для позначення елементів довільної категорії, що грають роль множин...
3 KB (252 words) - 18:12, 7 July 2024
(планіметрії), запропонована академіком Андрієм Колмогоровим. Неозначуваними поняттями в системі аксіом Колмогорова є: точка, пряма та відстань між двома...
7 KB (617 words) - 00:01, 8 September 2023
геометрії, поняття прямої лінії зазвичай залишається невизначеним, приймається за одне з вихідних понять (так зване неозначуване поняття), яке лише опосередковано...
26 KB (2,696 words) - 23:59, 12 December 2024
Аксіоматика Гільберта (section Неозначувані поняття)
Розроблена Гільбертом як повніша, ніж система аксіом Евкліда. Неозначуваними поняттями в системі аксіом Гільберта є: точка, пряма, площина. Є також 3...
15 KB (1,402 words) - 18:31, 9 December 2023
Множина (category Поняття в логіці)
аксіоматичною теорією множин. Аксіоматична теорія множин приймає поняття множини як неозначуване поняття. На практиці, що склалася з середини XX століття, множина...
44 KB (3,983 words) - 03:15, 20 December 2024
що інтерпретується як належність. Первинними (тобто неозначуваними) поняттями теорії NBG є поняття класу та елемента. Клас X {\displaystyle X} може бути...
53 KB (6,770 words) - 20:44, 31 October 2024
Аксіоматика Александрова — аксіоматика евклідової геометрії, запропонована російським математиком О. Александровим в книзі «Основи геометрії». Олександр...
8 KB (761 words) - 00:01, 8 September 2023