Often, this takes the form of a proof by contradiction in which the nonexistence of the object is proved to be impossible.
Συχνά αυτό παίρνει τη μορφή απόδειξης με αντίφαση, όπου η μη ύπαρξη του αντικειμένου αποδεικνύεται αδύνατη.