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