שינויים
/* שלילת כמתים */
'''תרגיל'''. הוכח שהטענות הבאות שקולות:
*לכל מספר זוגי יש מספר גדול ממנו k כך ש <math>P(k)</math> הוא אמת
*אין חסם מלעיל לקבוצת המספרים המקיימים את הפרדיקט P
*לכל מספר יש מספר הגדול ממנו המקיים את הפרדיקט P
שימו לב שכל הטענות הללו שקולות לכך שקיימים אינסוף מספרים המקיימים את הפרדיקט P. למעשה הטענות השנייה או השלישית יתאימו כהגדרה לטענה "אינסוף מספרים מקיימים את P"
====פתרון====