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

در ریاضیات تناقض کلینی-راسر  یک تناقض است که نشان می‌دهد سامانه‌های خاصی در منطق ریاضی سازگار نیستند. به صورت دقیق‌تر منطق ترکیبی کاری (معرفی‌شده در ۱۹۳۰) و جبر لاندای اصلیِ چرچ (معرفی‌شده در ۱۹۳۳) که در ابتدا قرار بود سامانهٔ منطق صوری را توضیح بدهند، ناسازگارند. این تناقض توسط استیون کلینی و جان راسر در سال ۱۹۳۵ نشان داده شد.Andrea Cantini, "The inconsistency of certain formal logics", in the Paradoxes and Contemporary Logic entry of Stanford Encyclopedia of Philosophy (2007).

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

 منابع 

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