در (به : ) یک تناقض است که نشان می‌دهد سامانه‌های خاصی در نیستند. به صورت دقیق‌تر منطق ترکیبی (معرفی‌شده در ۱۹۳۰) و اصلیِ (معرفی‌شده در ۱۹۳۳) که در ابتدا قرار بود سامانهٔ منطق صوری را توضیح بدهند، ناسازگارند. این تناقض توسط و در سال ۱۹۳۵ نشان داده‌شد.
{"title": "پارادوکس کلینی–راسر", "link": "https://fa.wikipedia.org//w/index.php?title=%D9%BE%D8%A7%D8%B1%D8%A7%D8%AF%D9%88%DA%A9%D8%B3_%DA%A9%D9%84%DB%8C%D9%86%DB%8C%E2%80%93%D8%B1%D8%A7%D8%B3%D8%B1&oldid=35164558", "language": "fa"}