שינויים
/* תרגיל 3 שאלה 2 */ פסקה חדשה
ניתן להגיד שאם לכל איבר בקבוצה קיים איבר הקטן ממנו, אזי הקבוצה אינסופית?
== תרגיל 3 שאלה 2 ==
בסעיף 2א) צ"ל: "הוכח שאם X קבוצה סופית אזי כל יחס סדר מלא עליה הוא סדר טוב" אם אני אציג אלגוריתם שמראה את האיבר המינימלי בקבוצה סופית X ואראה שהוא סופי אז זה יחשב להוכחה פורמלית?
(אני לא מצליח לדחוף ללוגיקה את העובדה ש X סופית (חוץ מדברים "ברורים" שישר מוכיחים את הטענה))