Aren't these points true for all possible systems, not specifically for AGI? Can any conclusions be drawn from Gödel's Incompleteness Theorems that are unique to Artificial Intelligence?