Se puede formalizar el teorema de Löb mediante el axioma: