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