Система умозаключений, путем которых выводится новое положение






Ссылка на выделенный текст