El mismo se puede obtener agregando la versión modal del teorema de Löb a la lógica K (o K4).