Определение слова «Элементарная Система Аксиом»

Математическая энциклопедия:

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

Смотреть другие определения →


© «СловоТолк.Ру» — толковые и энциклопедические словари, 2007-2020

Top.Mail.Ru
Top.Mail.Ru