Completeness and universality of arithmetical numberings