Un argumento diagonal , en matemáticas, es una técnica empleada en las demostraciones de los siguientes teoremas:
Su formulación general teórica de categorías viene dada por el teorema del punto fijo de Lawvere .