כל מה שרצית לדעת על הפרדוקס של קרי:
הפרדוקס של קרי (Curry's paradox) הוא פרדוקס ממשפחת הפרדוקסים של התייחסות עצמית, הכוללת גם את פרדוקס השקרן ואת הפרדוקס של ראסל.
בדומה לשני הפרדוקסים הללו, הפרדוקס של קרי מציג את הבעייתיות שבתורת קבוצות נאיבית ובתורת אמת נאיבית.
אך בניגוד לשני האחרונים, הפרדוקס של קרי לא כולל שימוש בשלילה.
הפרדוקס הוא שכל משפט שיחליף את ב' במבנה המשפט "אם המשפט הזה נכון, אז ב'" ניתן להוכחה כאמתי, גם אם ברור לכל שהוא שקרי.
לדוגמה, אם נחליף את ב' במשפט השקרי "כל הסוסים מדברים עברית", אז מניתוח לוגי של המשפט: "אם המשפט הזה נכון, אז כל הסוסים מדברים עברית" ניתן יהיה להסיק שכל הסוסים אכן דוברי עברית, למרות שברור כי אין זה כך.