Abstract
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models.
In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models.