Dowód nie wprost polega na przyjęciu założenia przeciwnego do tezy i wykazaniu, że prowadzi to do sprzeczności.
