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





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