Точнее говоря, нестанданртный анализ является теорией (в математическом смысле), в рамках которой, в частности, формализуется понятие бесконечно малого.
Это, безусловно, да. Но снова повторю: всякая селёдка (нестандартный анализ) - рыба (актуальные бесконечно малые), но не всякая рыба - селёдка.
В обыденной математической жизни нестандартный анализ если и используется, то лишь на неформальном, наивном уровне
Ну это вообще смешно. Зачем было формализовать, чтобы потом использовать на неформальном уровне
Содержательные утверждения ("производная синуса - косинус" и т.д.) в любом анализе одинаковы
Вообще говоря, не все. В нестандартном анализе - только те, которые "стандартны" по формулировке.
а основа, лежащая под этим, для физики безразлична, как для веб-приложения безразлично, на чём ходят пакеты: на электрических сигналах или на голубях.
Для физики-то безразлична, а вот для физиков - нет :-) Точно так же, как и веб-приложение на голубях начинает почему-то тормозить, что сказывается на его usability :-)
Стандартный анализ физиков вполне устраивает: там любая бесконечно малая может "вырасти" до конечной величины, сравнимой с другими не-малыми. В физике такое происходит сплошь и рядом, когда каким-то параметром сначала пренебрегают, а потом нет.