پارادوکس کلینی–راسر

در ریاضیات تناقض کلینی-راسر  یک تناقض است که نشان می‌دهد سامانه‌های خاصی در منطق ریاضی سازگار نیستند. به صورت دقیق‌تر منطق ترکیبی کاری (معرفی‌شده در ۱۹۳۰) و جبر لاندای اصلیِ چرچ (معرفی‌شده در ۱۹۳۳) که در ابتدا قرار بود سامانهٔ منطق صوری را توضیح بدهند، ناسازگارند. این تناقض توسط استیون کلینی و جان راسر در سال ۱۹۳۵ نشان داده‌شد.

جستارهای وابسته 
 فهرست پارادوکس‌ها

منابع 

 Andrea Cantini, "The inconsistency of certain formal logics", in the Paradoxes and Contemporary Logic entry of Stanford Encyclopedia of Philosophy (2007).
 

پارادوکس‌های ریاضیات
حساب لامبدا