Основы логики: Понятие теории