论文部分内容阅读
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models or nonstandard model with standard part. A possible generalization of Löb’s theorem is considered. Main results are: 1) ,