Analogues of the diagonal argument are widely used in mathematics to prove the existence or nonexistence of certain objects.
Diagonaaltõestuse analooge kasutatakse matemaatikas laialdaselt mingite objektide olemasolu või mitteolemasolu tõestamiseks.