در این پایان نامه، با یک روش توصیفی، نظرات لاوور در نظریه رسته ها با استفاده از زبان نظریه مجموعه ای ارائه و توسعه داده می شوند.ضمنا چگونگی ایجاد و تکوین پارادکس های خودارجاعی، ناتمامیت و قضایای نقطه ثابت از قضیه تعمیم یافته کانتور تشریح خواهند شد. همچنین این رویه برای پارادکس دروغگو، پارادکس گرلینگ و ریچارد، مساله توقف تورینگ، مساله اراکل دار p=np ، پارادکس سفر در زمان، گزاره های پریخ، پارادکس لب و قضیه رایس تعمیم داده میشود.