The logic of arithmetical hierarchy