Clicking on Toolbox-What Link's Here in the wikipedia article <a href="http://en.wikipedia.org/wiki/Conditional_result">Conditional proof</a> brings up <a href="http://en.wikipedia.org/wiki/Schinzel%27s_hypothesis_H">Schinzel's hypothesis H</a> which the article says is used to prove conditional results in diophantine geometry.