Дедуктивная_теория loading ...