באיזו דרך מנסה "הוכחה" המתמטית השגויה x=y->x^2=xy...->2=1 ליצור Falsidical Paradox?

x=y->x^2=xy->x^2-y^2=xy-y^2->x+y=y->2y=y->2=1

ע"פ הפילוסוף W. V. Quine אפשר לחלק את הפרדוקסים לכמה סוגים: Falsidical paradox - "הוכחות פגומות" לטענות מפתיעות, שהן בעצם שקריות. Veridical paradox - טענות שנראות שקריות, אבל בעצם אמתיות. Antinomy - טענות לוגיות שהן לא אמת ולא שקר, כי הן מובילות לסתירה פנימית. Dialetheia- טענות שהן גם אמת וגם שקר בו זמנית. (*לא הוגדר ע"י QUINE)