soyut matematik, temelini bu yöntem üzerine oturtmuştur.
bir iddia öne sürülür ve doğruluğu kabûl edilir. çeşitli yöntemlerle sonuç olarak kabûlün yanlışlığı görülür ve o zaman da öne sürülen iddianın yanlış olduğu anlaşılır. böylelikle kabûl edilen değil de tam tersi doğrudur. mantıksal ispatlardan birisidir.