По существу ЭА — это множество теорем, доказуемое с помощью логики 1го порядка, но упоминание об этом в статье потребует либо крупных разъяснений, что вовсе ни к чему, либо невнятных фраз, для читателя бесполезных. Непонятно, зачем Вам заниматься какимито толкованиями термина, кому от этого польза?