φ =df ~∃x [ Proves(x, G(φ)) ]


Via /r/aiArt