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