Несмотря на то, что Кантор использовал данный аргумент, так сказать, ad hoc, то есть по очень частному поводу, диагональная конструкция, как было показано позднее, обнаруживает себя в качестве центральной в достаточно широком классе математических доказательств: у Геделя — в его доказательстве первой теоремы о неполноте, у Тьюринга — в его решении проблемы остановки, а также создает логическую основу многих парадоксов автореференции — от парадокса лжеца до парадоксов Ришара и Рассела.
Как это уже не раз бывало, особое изящество и единообразие диагональной конструкции удается придать, формулируя ее на языке теории категорий в качестве особой Диагональной Теоремы, остающейся справедливой по сути в любой категории.