Varsayımlar, doğru olmaları durumunda kendisinden çıkacak mantıksal sonuçlarla sınanırlar. Bir varsayım sınandığında ve buna rağmen kendisinden çıkacak sonuçlardan birine bile ulaşılamadığında bu varsayımın en azından özgün olarak formüle edildiği şekliyle yanlış olduğu kesin olarak tanıtlanmış olur.