< 1 >
Принцип переноса
Принцип переноса гласит, что все утверждения данного языка, которые верны для одной структуры, также верны и для другой структуры.
Пояснение
В нестандартном анализе принцип переноса касается логической связи между свойствами вещественных чисел R и свойствами гиперреальных чисел *R.
ИсторияНемецко-американский математик Абрахам Робинсон описал этот принцип в начале 1960-х годов. |