Logisk gyldighet får man hvis linjen ved «Definisjon 1» blir dedusert ved «bikondisjonal eliminasjon» og at man, gitt tiden Gödel har skrevet dette på, behandler argumentet litt «grovt», som ved moderne Fitch-struktur, så er konklusjonen relativt grei, og som tidligere nevnt, altså , ved teorem 3, nødvendigvis så er egenskapen ved et vesen som er «som-Gud» eksemplifisert, dvs. , gitt altså bare logikken da.