god is the higher formal system