הוכחתי שאין מספר מושלם אי זוגי

[עריסטו]

טענה 1: יש מספר מושלם אי זוגי.
טענה 2: לפחות אחת משתי הטענות האלה שגויה.

אם טענה 2 שגויה אז שתי הטענות נכונות כלומר טענה 2 נכונה. סתירה. לכן טענה 2 נכונה. לכן טענה 1 שגויה. מש"ל.

 

[Lucifer LightBringer]

אם טענה 2 שגויה אז לכל היותר אחת משתי הטענות נכונות.
לכן או שטענה 1 נכונה או שלא.
חבל שזה לא עד כדי כך קל.
רק אם טענה 2 נכונה אז טענה 1 שגויה.