Нестандартный анализ — раздел математической логики, посвященный приложению теории нестандартных моделей к исследованиям в традиционных областях математики: математическом анализе, теории функций, теории дифференциальных уравнений, топологии и др. В нестандартном анализе на строгой математической основе реализуется до некоторой степени идея Лейбница и его последователей о существовании бесконечно малых величин, отличных от нуля, — идея, которая в последующем развитии математического анализа была заменена точным понятием предела переменной величины.