|
ועוד כתבת:
"זה די פשוט, בו נגדיר מערכת אקסיומתית פסאודו-גיאומטרית עם שתי "נקודות" בלבד (נקרא להם דוד ושלמה), לכל אחד אורך אפס, וקו אחד (נקרא לו קו דוד-שלמה) שמכיל את שתי הנקודות ביקום שלנו, ובעל אורך 2.8. הנה, יש לנו אורך>0 שניתן לרדוקציה לאורך=0 וגם להחשב אורך>0."
בוא ונבחן את ה-"די פשוט" שלך:
אם המערכת שלך הינה בעלת שתי נקודות וקו, אין זה אומר כלל כי הקו ניתן לרדוקציה לאחת מהנקודות, או במילים אחרות, לא הראית כי הקו (אורך>0) ניתן לרדוקציה לנקודה (אורך=0) ועדיין נחשב לקו (אורך>0) במערכת שלך.
אם זוהי דוגמא לתובנותיך בנושא, אין פלא שאינך מבין את תובנותי בנושא.
|
|