Элементарная Система Аксиом
Система аксиом, записанная на языке узкого исчисления предикатов. Системы аксиом арифметики формальной, теории множеств Цермело — Френкеля (см. Аксиоматическая теория множеств), типов теории — примеры Э. с. а. В. Н. Гришин.
Источник:
Математическая энциклопедия
на Gufo.me