In this article posible generalization of the L\"ob's theorem is considered >http://arxiv.org/abs/1301.5340 -------------- next part -------------- An HTML attachment was scrubbed... URL: </pipermail/fom/attachments/20130125/cf115143/attachment-0001.html>