Определение

Математической структурой называется система отношений Ð ={Ð₁, …, Ð_p}, заданная на базовых множествах M₁,…, M_m посредством системы аксиом T={T₁,…,T_n}.

Таким образом определенную математическую структуру будем обозначать = {T, Ð, M}. Для краткости эту структуру, соответствующую системе аксиом T, иногда будем обозначать .

Примеры

Указанные в начале пункта аксиоматики задают, соответственно, структуры: натуральных чисел, действительных чисел, векторных пространств, структуру геометрического евклидова пространства и структуру арифметического евклидова пространства.

Определение

Система всех утверждений, доказываемых логическим путем в структуре , называется аксиоматической теорией этой структуры. Аксиоматическую теорию структурыбудем обозначать символом.

Пример

Теорема о внешнем угле треугольника: внешний угол треугольника больше любого не смежного с ним угла треугольника является элементом теории структуры абсолютной планиметрии (геометрии плоскости, построенной в системе 14 аксиом планиметрии без аксиом параллельности).

3. Модель или реализация системы аксиом

Модель системы аксиом T представляет собой такую совокупность некоторых объектов и отношений между ними, для которой выполняются все требования системы аксиом T, [9, с. 117–118].

Модель или реализация системы аксиом T называется также моделью или реализацией как аксиоматической теории , так и структуры. Эту реализацию будем обозначатьR(T)=R(T, …,T).

Приведем примеры реализаций.

Модель линейного порядка Торальфа Сколема (см. п. 1.1 §1) является моделью, или реализацией, аксиоматики Пеано или структуры натурального ряда.

Множество действительных чисел является реализацией евклидовой прямой.

Арифметическая модель векторного пространства (см. п. 3.2 §3) является реализацией системы аксиом векторного пространства размерности три.

Арифметическая модель евклидова пространства (см. п. 4.1 §4) является реализацией как системы аксиом Гильберта, так и системы аксиом Вейля евклидовой геометрии.

Множество n–местных наборов чисел (x,…,x) является реализациейn–мерного арифметического евклидова пространства (см. п. 4.2 §4).

Модель Пуанкаре Lявляется реализацией планиметрии Лобачевского.