Для олимпийцев это все тоже нужно лишь до конца 11 класса.  И то вопрос. Потому что олимпийцам нужно то, что требуется на олимпиадах. Думаю, базовые понятия там принимаются без четких формулировок.  Но это речь про олимпийцев. А вы смотрите, как я понимаю, учебник для обычной общеобразовательной школы.  Там стереометрию не осиливает  подавляющее большинство детей. вообще никак. Говорят, на егэ геометрию заваливают катастрофически. Алгебра еще куда ни шло.  А вы про точность формулировок продвинутой математики. Им бы с базовой разобраться.