Extending Godel for Expressing Restricted Quanti cations and Arrays