" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ

Значение ЭЛЕМЕНТАРНАЯ СИСТЕМА АКСИОМ в математической энциклопедии:

система аксиом, записанная на языке узкого исчисления предикатов. Системы аксиом арифметики формальной, теории множеств Цермело - Френкеля (см. Аксиоматическая теория множеств), типов теории - примеры Э. с. а.

В. Н. Гришин.