Добавил введение в МТС

Update

Ещё обновления от ГПТ5 и SourceCraft

update

update

update

update

Добавил README.md

update

update

update

update

update

update

update

убрал номер аксиом

update

update

Работаю над аксиомами