Остановка кант: понятие и применение в математике