saltus

[ریاضیات] جهش، قطع پیوستگی، حذف مرحله ی لازم اثباتی در منطق