Математическая структура: различия между версиями

'''Математическая структура''' — название, объединяющее понятия, общей чертой которых является их применимость к [[множество|множествам]], природа которых не определена. Для определения самой структуры задают [[отношение|отношения]], в которых находятся элементы этих множеств. Затем постулируют, что данные отношения удовлетворяют неким условиям, которые являются аксиомами рассматриваемой структуры. ''Построить аксиоматическую теорию данной структуры'' — это значит вывести логические следствия из аксиом структуры, отказавшись от каких-либо других предположений относительно самих рассматриваемых элементов, и, в частности, от всяких гипотез относительно их «природы».