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.
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.