Post's theorem shows that RE, together with its complement co-RE, correspond to the first level of the arithmetical hierarchy.
Постова теорема показује да RE, заједно са својим комплементом co-RE, одговара првом степену аритметичке хијерархије.