Is the safe development of artificial general intelligence formally possible?