在本文中，我们证明了对应于形式理论Th的所谓强反射原理，该理论具有欧米伽模型或具有标准零件的非标准模型。考虑了Löb定理的可能推广。主要结果是：1），2），3），4），5）然后让k是不可访问的基数。