2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Аксиоматическая теория групп
Сообщение06.06.2025, 13:03 
Аватара пользователя
Подскажите, пожалуйста, источник, где можно найти полную информацию о некоторой аксиоматической системе, где была бы дана полная информация о языке, правилах вывода, аксиомах (и прочем, если необходимо) теории групп, чтобы на этих основаниях (и только на них) можно было делать механические выводы, получать утверждения этой системы. Если просьба прозвучала неоднозначно (быть может, есть различные такие системы), то понимайте ее произвольно. Спасибо.

 
 
 
 Re: Аксиоматическая теория групп
Сообщение06.06.2025, 13:07 
Возьмите книжку по аксиоматической теории множеств. Теория групп, если её формализовать, пользуется обычной логикой первого порядка и ZFC.

 
 
 [ Сообщений: 2 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group